Parametric synchronizations in mobile nominal calculi

DOI10.1016/j.tcs.2008.04.029zbMath1146.68051OpenAlexW2061895212MaRDI QIDQ935464

Roberto Bruni, Ivan Lanese

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

zbMATH Keywords

operational semanticsprocess calculi\(\pi \)-calculusbisimulation congruencesfusion calculusname mobilitysynchronization algebra with mobility

Mathematics Subject Classification ID

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

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

• COWS
• CC-Pi

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