A Theory of Name Boundedness

DOI10.1007/978-3-642-40184-8_14zbMath1390.68474OpenAlexW197820698MaRDI QIDQ2842106

Roland Meyer, Rupak Majumdar, Reiner Hüchting

Publication date: 12 August 2013

Published in: CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40184-8_14

Mathematics Subject Classification ID

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

Related Items (4)

Model checking Petri nets with names using data-centric dynamic systems ⋮ Unnamed Item ⋮ Using session types for reasoning about boundedness in the \(\pi\)-calculus ⋮ On Hierarchical Communication Topologies in the $$\pi $$ -calculus

This page was built for publication: A Theory of Name Boundedness