Pascal semantics by a combination of denotational semantics and high-level petri nets
- 13 November 2005
- book chapter
- Published by Springer Nature
- p. 297-329
- https://doi.org/10.1007/bfb0016218
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- An Introduction to High-Level Petri NetsDAIMI Report Series, 1985
- Csp-programs as nets with individual tokensPublished by Springer Nature ,1985
- High-Level Petri NetsInformatik-Fachberichte, 1983
- Formal Semantics by a Combination of Denotational Semantics and High-Level Petri NetsPublished by Springer Nature ,1983
- EPSILON: A System Description LanguageDAIMI Report Series, 1982
- System modelling with high-level Petri netsTheoretical Computer Science, 1981
- Coloured petri nets and the invariant-methodTheoretical Computer Science, 1981
- PASCAL User Manual and ReportPublished by Springer Nature ,1975