Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Process Description Language


Citation: Petr Matousek, "Semantics of the Process Description Language". In R. Moreno-Díaz and A. Quesada-Arencibia, eds., Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001), Universidad de Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001, 281-285.
Summary: An extended abstract describing an ASM semantics for the Process Description Language (PDL), a Java extension for the description of processes.
Subjects: Programming Languages
Download: From Petr Matousek's webpage in compressed PostScript.
Notes: