Re: Semantic definition style

Article View: comp.specification

Article #256

Back to comp.specification Previous Next

#256

From: Michel Moreaux
Date: Mon, 09 Nov 1992 15:12

26 lines
1865 bytes

Here is another reference:

@INPROCEEDINGS  { M:345,
     AUTHOR    = "Mosses, Peter D.",
     TITLE     = "Unified Algebras and Action Semantics",
     BOOKTITLE = "Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89",
     ADDRESS   = "Paderborn, FRG",
     MONTH     =  feb,      
     YEAR      = "1989",
     SERIES    = "Lecture Notes in Computer Science",
     VOLUME    = "349",
     PUBLISHER = "Springer-Verlag",
     PAGES     = "17-35"}

_Michel Moreaux
--
------------------------------------------------------------------------------
Michel Moreaux,                           | "Ceux qui ne savent rien en savent
Ecole Polytechnique Federale de Lausanne  |  toujours tout autant que ceux qui
Departement d'Informatique                |  n'en savent pas plus qu'eux"
Laboratoire d'Informatique Technique      |                  P. Dac.
EL-Ecublens                               |___________________________________
CH-1015 Lausanne                           
Phone # : (21) 693-46-72,   e-mail : moreaux@litsun.epfl.ch
------------------------------------------------------------------------------

Technical Details

Message-ID: <MOREAUX.92Nov9161246@litsun22.epfl.ch>

Path:

arc1-ca.pugleaf.net!sparky!uunet!pmafire!news.dell.com!swrinde!emory!sol.ctr.columbia.edu!ira.uka.de!chx400!sicsun!disuns2!moreaux

References: <720801988.16035@minster.york.ac.uk> <DMASON.92Nov5131527@plg.uwaterloo.ca> <BEVAN.92Nov7140134@hippo.cs.man.ac.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!news.dell.com!swrinde!emory!sol.ctr.columbia.edu!ira.uka.de!chx400!sicsun!disuns2!moreaux
From: moreaux@litsun22.epfl.ch (Michel Moreaux)
Newsgroups: comp.specification
Subject: Re: Semantic definition style
Message-ID: <MOREAUX.92Nov9161246@litsun22.epfl.ch>
Date: 9 Nov 92 15:12:46 GMT
References: <720801988.16035@minster.york.ac.uk> <DMASON.92Nov5131527@plg.uwaterloo.ca>
 <BEVAN.92Nov7140134@hippo.cs.man.ac.uk>
Sender: news@disuns2.epfl.ch
Reply-To: moreaux@litsun.epfl.ch
Organization: Laboratoire d'informatique technique
Lines: 26
Nntp-Posting-Host: litsun22.epfl.ch
In-reply-to: bevan@cs.man.ac.uk's message of 7 Nov 92 14:01:34 GMT

Reply to Parent Message