An exercise in structural congruence

DOI10.1016/J.IPL.2006.08.001MaRDI QIDQ845877zbMATH OpenOpenAlexFDO

Authors Joost Engelfriet, T. 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

concurrencypi-calculusPetri netcommutative semigroup

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 1696431 (Why is no real title available?)
• scientific article; zbMATH DE number 1809622 (Why is no real title available?)
• scientific article; zbMATH DE number 46872 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A multiset semantics for the pi-calculus with replication
• A new natural structural congruence in the pi-calculus with replication
• A spatial logic for concurrency. I
• An Algorithm for the General Petri Net Reachability Problem
• Functions as processes
• Mobile ambients
• Multisets and structural congruence of the pi-calculus with replication
• The \(\pi\)-calculus: A theory of mobile processes
• The complexity of the word problems for commutative semigroups and polynomial ideals

Cited in

(2)

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

Describes a project that uses

Uses Software

• SLMC

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

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