home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / specific / 519 < prev    next >
Encoding:
Internet Message Format  |  1992-11-08  |  1.8 KB
  1. Path: sparky!uunet!pmafire!news.dell.com!swrinde!emory!sol.ctr.columbia.edu!ira.uka.de!chx400!sicsun!disuns2!moreaux
  2. From: moreaux@litsun22.epfl.ch (Michel Moreaux)
  3. Newsgroups: comp.specification
  4. Subject: Re: Semantic definition style
  5. Message-ID: <MOREAUX.92Nov9161246@litsun22.epfl.ch>
  6. Date: 9 Nov 92 15:12:46 GMT
  7. References: <720801988.16035@minster.york.ac.uk> <DMASON.92Nov5131527@plg.uwaterloo.ca>
  8.     <BEVAN.92Nov7140134@hippo.cs.man.ac.uk>
  9. Sender: news@disuns2.epfl.ch
  10. Reply-To: moreaux@litsun.epfl.ch
  11. Organization: Laboratoire d'informatique technique
  12. Lines: 26
  13. Nntp-Posting-Host: litsun22.epfl.ch
  14. In-reply-to: bevan@cs.man.ac.uk's message of 7 Nov 92 14:01:34 GMT
  15.  
  16.  
  17. Here is another reference:
  18.  
  19. @INPROCEEDINGS  { M:345,
  20.      AUTHOR    = "Mosses, Peter D.",
  21.      TITLE     = "Unified Algebras and Action Semantics",
  22.      BOOKTITLE = "Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science, STACS'89",
  23.      ADDRESS   = "Paderborn, FRG",
  24.      MONTH     =  feb,      
  25.      YEAR      = "1989",
  26.      SERIES    = "Lecture Notes in Computer Science",
  27.      VOLUME    = "349",
  28.      PUBLISHER = "Springer-Verlag",
  29.      PAGES     = "17-35"}
  30.  
  31. _Michel Moreaux
  32. --
  33. ------------------------------------------------------------------------------
  34. Michel Moreaux,                           | "Ceux qui ne savent rien en savent
  35. Ecole Polytechnique Federale de Lausanne  |  toujours tout autant que ceux qui
  36. Departement d'Informatique                |  n'en savent pas plus qu'eux"
  37. Laboratoire d'Informatique Technique      |                  P. Dac.
  38. EL-Ecublens                               |___________________________________
  39. CH-1015 Lausanne                           
  40. Phone # : (21) 693-46-72,   e-mail : moreaux@litsun.epfl.ch
  41. ------------------------------------------------------------------------------
  42.