scientific article; zbMATH DE number 5042678

zbMath1095.68062MaRDI QIDQ5480176

Raymond Devillers, Hanna Klaudel, Maciej Koutny

Publication date: 26 July 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

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: