Petri net semantics of the finite -calculus terms

zbMATH Open1095.68062MaRDI QIDQ5480176FDOQ5480176

Authors: Raymond Devillers, Hanna Klaudel, Maciej Koutny 

Publication date: 26 July 2006

Recommendations

• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• A Petri Net Translation of π-Calculus Terms
• A compositional Petri net translation of general \(\pi\)-calculus terms
• On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
• A polynomial translation of \(\pi \)-calculus (FCP) to safe Petri nets

zbMATH Keywords

graph-theoretic net composition operators

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (14)

• Interpreting a finitary pi-calculus in differential interaction nets
• M-nets: a survey
• A Petri Net Translation of π-Calculus Terms
• A polynomial translation of \(\pi \)-calculus (FCP) to safe Petri nets
• Title not available (Why is that?)
• Interpreting a Finitary Pi-calculus in Differential Interaction Nets
• A theory of structural stationarity in the \(\pi\)-calculus
• A compositional Petri net translation of general \(\pi\)-calculus terms
• On the Relationship between π-Calculus and Finite Place/Transition Petri Nets
• A polynomial translation of \(\pi\)-calculus FCPS to safe Petri nets
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• A Petri net interpretation of open reconfigurable systems
• A Petri net interpretation of open reconfigurable systems
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS

This page was built for publication: Petri net semantics of the finite \(\pi\)-calculus terms

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