On the Expressive Power of Polyadic Synchronisation in π-calculus
From MaRDI portal
Publication:2842599
DOI10.1016/S1571-0661(05)80361-5zbMath1270.68208MaRDI QIDQ2842599
Publication date: 15 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Related Items
Cites Work
- Concurrency and atomicity
- A calculus of mobile processes. I
- A calculus for cryptographic protocols: The spi calculus
- Embedding as a tool for language comparison
- Mobile ambients
- Decoding choice encodings
- An improved algorithm for decentralized extrema-finding in circular configurations of processes
- Encoding Distributed Areas and Local Communication into the π-Calculus
- A Distributed π-Calculus with Local Areas of Communication
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item