Compositional high-level Petri net semantics of a parallel programming language with procedures

DOI10.1016/S0167-6423(01)00004-1zbMath0998.68035MaRDI QIDQ5954636

Hanna Klaudel

Publication date: 5 February 2002

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

formal semanticsPetri netsparallel programming language

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

M-nets: a survey

Uses Software

• M-nets

This page was built for publication: Compositional high-level Petri net semantics of a parallel programming language with procedures