home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / specific / 521 < prev    next >
Encoding:
Text File  |  1992-11-10  |  3.3 KB  |  79 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!mcsun!sunic!dkuug!daimi!pdm
  3. From: pdm@daimi.aau.dk (Peter D. Mosses)
  4. Subject: Re: Semantic definition style
  5. In-Reply-To: moreaux@litsun22.epfl.ch (Michel Moreaux)
  6. Message-ID: <1992Nov10.103034.25998@daimi.aau.dk>
  7. Summary: FTP-able bibliography for action semantics
  8. Keywords: action semantics, bibliography, ftp
  9. Sender: pdm@daimi.aau.dk (Peter D. Mosses)
  10. Reply-To: pdm@daimi.aau.dk (Peter D. Mosses)
  11. Organization: DAIMI: Computer Science Department, Aarhus University, Denmark
  12. References: <720801988.16035@minster.york.ac.uk> <DMASON.92Nov5131527@plg.uwaterloo.ca> <BEVAN.92Nov7140134@hippo.cs.man.ac.uk> <MOREAUX.92Nov9161246@litsun22.epfl.ch>
  13. Date: Tue, 10 Nov 92 10:30:34 GMT
  14. Lines: 63
  15.  
  16. In article <MOREAUX.92Nov9161246@litsun22.epfl.ch>, moreaux@litsun22 (Michel Moreaux) writes:
  17. >Here is another reference:
  18.  
  19. >@INPROCEEDINGS  { M:345,
  20. >     AUTHOR    = "Mosses, Peter D.",
  21. >     TITLE     = "Unified Algebras and Action Semantics",
  22. >...
  23. >     YEAR      = "1989",
  24. > ...
  25. >_Michel Moreaux
  26.  
  27. Thanks.  That was, however, a somewhat tentative paper, exploring the
  28. use of unified algebras (an unorthodox order-sorted specification
  29. framework, allowing sort union and other operations on sorts) in
  30. action semantic descriptions.  The `official' version of the action
  31. semantics framework, which David Watt and I describe in our respective
  32. books, doesn't rely quite so much on the novel features of unified
  33. algebras.  (For those familiar with the referenced paper: the
  34. combinator for binary choice `A1 or A2' now returns an *individual*
  35. action, rather than the sort union `A1 | A2'.  Thus the nondeterminism
  36. only appears during action performance, not in the actions per se.
  37. However, primitive actions can still be applied to sorts of data,
  38. e.g., `choose a number'.)
  39.  
  40. Chapter 19 of my book provides an almost up-to-date bibliography of
  41. reports on action semantics.  The current version of the bibliography
  42. can be retrieved by anonymous FTP from ftp.daimi.aau.dk in the
  43. directory pub/action/bibliography.  The README file says:
  44.  
  45. [This is ftp.daimi.aau.dk:pub/action/bibliography/README]
  46.  
  47. The bibliography directory contains sources for the Action Semantics
  48. bibliography, as follows:
  49.  
  50. The file abstract.bib contains all the abstracts from Chapter 19 of
  51. the AS book, together with the abstracts of some recent reports.
  52.  
  53. The file action.bib contains the same as abstract.bib, except that the
  54. abstracts are omitted.
  55.  
  56. The files new-abstract.bib and new-action.bib consist of just the
  57. recent entries in abstract.bib and action.bib.
  58.  
  59. To print the file *.bib, use LaTeX, then BibTeX, then LaTeX again on
  60. the corresponding *.tex file.  N.B.  The ones with abstracts use my
  61. nonstandard bibliography style file alpha-abstract.bst, which allows
  62. longer strings than the standard styles.  (The file old-abstract.bst
  63. could be used instead - it uses the citation keys as labels, like the
  64. widely available abstract.bst.)
  65.  
  66. The *.dvi files are also available, for those who don't need the
  67. sources.
  68.  
  69. Finally, the file all.tar.Z contains a compressed tar archive of all
  70. the files.
  71.  
  72. ...
  73.  
  74. -- 
  75. Peter D. Mosses | Computer Science Department | <pdmosses@daimi.aau.dk> 
  76. ~~~~~~~~~~~~~~~ | Aarhus University           | Phone: +45 86 12 71 88 
  77.                 | Ny Munkegade, Building 540  | Fax:   +45 86 13 57 25 
  78.                 | DK-8000 Aarhus C,  Denmark  | Telex: 64767 aausci dk
  79.