An exercise in structural congruence

DOI10.1016/J.IPL.2006.08.001zbMath1185.68443OpenAlexW2077021580MaRDI QIDQ845877

Joost Engelfriet, Tjalling Gelsema

Publication date: 29 January 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2006.08.001

zbMATH Keywords

Petri netconcurrencycommutative semigrouppi-calculus

Mathematics Subject Classification ID

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

Related Items (2)

Structural Rewriting in the pi-Calculus. ⋮ A theory of structural stationarity in the \(\pi\)-calculus

Uses Software

• SLMC

Cites Work

• A multiset semantics for the pi-calculus with replication
• Multisets and structural congruence of the pi-calculus with replication
• Mobile ambients
• The complexity of the word problems for commutative semigroups and polynomial ideals
• A spatial logic for concurrency. I
• A new natural structural congruence in the pi-calculus with replication
• An Algorithm for the General Petri Net Reachability Problem
• Functions as processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An exercise in structural congruence