A Theory of Name Boundedness
From MaRDI portal
Publication:2842106
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
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