Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/cea.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Paula Glavan and Dean Rosenzweig, "Communicating evolving algebras". In E. Börger, H. Kleine Büning, G. Jäger, S. Martini, and M. M. Richter, editors, "Selected papers from CSL'92 (Computer Science Logic)", Springer Lecture Notes in Computer Science 702, 1993, 182--215. |
|---|---|
| Summary: | A theory of concurrent computation within the framework of ASMs is developed. The power of the framework is demonstrated by modeling the Chemical Abstract Machine of Berry and Boudol and the pi-calculus of Milner. |
| Subjects: | Distributed Systems |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/cea.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT