A Petri Net Translation of π-Calculus Terms

DOI10.1007/11921240_10zbMath1168.68437OpenAlexW1536406111MaRDI QIDQ3525146

Maciej Koutny, Hanna Klaudel, Raymond Devillers

Publication date: 11 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11921240_10

zbMATH Keywords

process algebraPetri netsmobility\(\pi \)-calculusbehavioural consistencycompositional translation

Mathematics Subject Classification ID

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

Related Items (4)

A compositional Petri net translation of general \(\pi\)-calculus terms ⋮ M-nets: a survey ⋮ Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS ⋮ A theory of structural stationarity in the \(\pi\)-calculus

This page was built for publication: A Petri Net Translation of π-Calculus Terms