Parametric synchronizations in mobile nominal calculi
From MaRDI portal
Publication:935464
DOI10.1016/j.tcs.2008.04.029zbMath1146.68051OpenAlexW2061895212MaRDI QIDQ935464
Publication date: 6 August 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2008.04.029
operational semanticsprocess calculi\(\pi \)-calculusbisimulation congruencesfusion calculusname mobilitysynchronization algebra with mobility
Related Items
The \texttt{link}-calculus for open multiparty interactions, A formal approach to open multiparty interactions, A process calculus for mobile ad hoc networks
Uses Software
Cites Work
- A calculus of mobile processes. I
- Synchronization trees
- PRISMA: A Mobile Calculus with Parametric Synchronization
- Process Algebra
- Mobile values, new names, and secure communication
- Concurrent and Located Synchronizations in π-Calculus
- Programming Languages and Systems
- A Calculus for Orchestration of Web Services
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
- Structured Communication-Centred Programming for Web Services
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item