Abstract State Machines




ASM Studies

Communicating Evolving Algebras

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