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

• Authors:

• Niels Damgaard Hansen;K. H. Madsen

• Affiliations:

• -;-

• Venue:
• Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets
• Year:
• 1982