An exercise in structural congruence

DOI10.1016/J.IPL.2006.08.001zbMATH Open1185.68443OpenAlexW2077021580MaRDI QIDQ845877FDOQ845877

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

• Functions as processes
• Title not available (Why is that?)
• The complexity of the word problems for commutative semigroups and polynomial ideals
• The \(\pi\)-calculus: A theory of mobile processes
• A spatial logic for concurrency. I
• An Algorithm for the General Petri Net Reachability Problem
• Title not available (Why is that?)
• Mobile ambients
• Title not available (Why is that?)
• A new natural structural congruence in the pi-calculus with replication
• Multisets and structural congruence of the pi-calculus with replication
• A multiset semantics for the pi-calculus with replication
• Title not available (Why is that?)

Cited In (2)

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

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)