Pascal semantics by a combination of denotational semantics and high-level Petri nets

• Authors:

• Kurt Jensen;Erik Meineche Schmidt

• Affiliations:

• -;-

• Venue:
• Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
• Year:
• 1985