Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/pdl.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| 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: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/pdl.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT