Abstract State Machines


Subjects

Methodology

Applications

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
Notes: