Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

PVM


Citation: Egon Börger and Uwe Glässer, "Modelling and Analysis of Distributed and Reactive Systems using Evolving Algebras." In Y. Gurevich and E. Boerger, "Evolving Algebras Mini-Course", Technical Report BRICS- NS-95- 4, BRICS, University of Aarhus, July 1995.
Summary: A specification of the Parallel Virtual Machine (PVM), the distributed computing environment at the Oak Ridge National Laboratory.
Subjects: Architectures, Distributed Systems
Download: PostScript, PDF, Compressed PostScript
Notes: