home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / specific / 541 < prev    next >
Encoding:
Text File  |  1992-11-19  |  1.2 KB  |  32 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!gumby!destroyer!cs.ubc.ca!alberta!piotr
  3. From: piotr@cs.UAlberta.CA (Piotr Rudnicki)
  4. Subject: Re: Semantic definition style
  5. Message-ID: <piotr.722190155@sedalia>
  6. Keywords: structural operational semantics, denotational semantics, nondeterminism
  7. Sender: news@cs.UAlberta.CA (News Administrator)
  8. Nntp-Posting-Host: sedalia.cs.ualberta.ca
  9. Organization: University of Alberta, Edmonton, Canada
  10. References: <720801988.16035@minster.york.ac.uk> <1992Nov11.195443.23006@cis.ohio-state.edu> <1992Nov13.084826.26088@daimi.aau.dk> <1992Nov18.010421.11712@cis.ohio-state.edu> <1992Nov18.083324.27725@daimi.aau.dk>
  11. Date: Thu, 19 Nov 1992 16:22:35 GMT
  12. Lines: 18
  13.  
  14. pdm@daimi.aau.dk (Peter D. Mosses) writes:
  15.  
  16. >In article <1992Nov18.010421.11712@cis.ohio-state.edu>, ogden@seal (William F Ogden) writes:
  17. >>In article <1992Nov13.084826.26088@daimi.aau.dk> pdm@daimi.aau.dk (Peter D. Mosses) writes:
  18. >>   ...
  19.  
  20. >[Perhaps we should continue this by e-mail, as it probably doesn't
  21. >have sufficient general interest for comp.specification.]
  22.  
  23. Continue here please.
  24.  
  25. I am sure there are many people who want to see such discussions.
  26. I am one of them.
  27.  
  28. PR
  29. --
  30. Piotr (Peter) Rudnicki
  31.  
  32.