Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets

Publisher Website

1 January 1983

book chapter
Published by Springer Nature

p. 132-148
https://doi.org/10.1007/978-3-642-69028-0_10

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

System modelling with high-level Petri nets
Theoretical Computer Science, 1981
The Denotational Description of Programming Languages
Published by Springer Nature ,1979