Structural inclusion in the pi-calculus with replication

DOI10.1016/S0304-3975(99)00330-8zbMath0974.68133OpenAlexW2030256409WikidataQ127705944 ScholiaQ127705944MaRDI QIDQ5941195

Joost Engelfriet, Tjalling Gelsema

Publication date: 20 August 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00330-8

zbMATH Keywords

calculusPetri netsStructural congruence

Mathematics Subject Classification ID

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

Related Items (1)

Spatial and behavioral types in the pi-calculus

Cites Work

• Unnamed Item
• A multiset semantics for the pi-calculus with replication
• A calculus of mobile processes. II
• Multisets and structural congruence of the pi-calculus with replication
• Axioms for generalized graphs, illustrated by a Cantor-Bernstein proposition
• Flowgraphs and Flow Algebras
• Functions as processes
• Concurrent Processes and Their Syntax

This page was built for publication: Structural inclusion in the pi-calculus with replication