A Higher-Order Distributed Calculus with Name Creation
From MaRDI portal
Publication:2986830
DOI10.1109/LICS.2012.63zbMath1362.68221MaRDI QIDQ2986830
Publication date: 16 May 2017
Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
distributionprocess equivalenceenvironmental bisimulationpassivationhigher-order \(\pi\)-calculusname creationname restriction