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

DOI10.1016/S0167-6423(01)00004-1MaRDI QIDQ5954636zbMATH OpenFDO

Authors Hanna Klaudel

Publication date 5 February 2002

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

Full work available at URL https://doi.org/10.1016/S0167-6423(01)00004-1

zbMATH Keywords

formal semanticsparallel programming languagePetri nets

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)

Recommendations

• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
• A compositional Petri net translation of general -calculus terms
• A class of composable high level Petri nets
• scientific article; zbMATH DE number 43161
• A Compositional Petri Net Semantics for SDL

Cited in

(7)

• M-nets: a survey
• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
• scientific article; zbMATH DE number 1755144 (Why is no real title available?)
• scientific article; zbMATH DE number 1786651 (Why is no real title available?)
• Computational Science - ICCS 2004
• High level expressions with their SOS semantics
• A Compositional Petri Net Semantics for SDL

Describes a project that uses

Uses Software

• M-nets

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5954636)