On Recursion, Replication and Scope Mechanisms in Process Calculi

DOI10.1007/978-3-540-74792-5_9zbMath1147.68587OpenAlexW1483545420MaRDI QIDQ3525112

Frank D. Valencia, Jesús Aranda, Catuscia Palamidessi, Cinzia Di Giusto

Publication date: 17 September 2008

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74792-5_9

Mathematics Subject Classification ID

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

Related Items (4)

A stable non-interleaving early operational semantics for the pi-calculus ⋮ Making random choices invisible to the scheduler ⋮ On the Expressiveness of the π-Calculus and the Mobile Ambients ⋮ Corecursion and Non-divergence in Session-Typed Processes

Cites Work

• Linear logic
• The Esterel synchronous programming language: Design, semantics, implementation
• A calculus of mobile processes. I
• Remarks on blind and partially blind one-way multicounter machines
• On the expressive power of movement and restriction in pure mobile ambients
• CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
• Foundations of Software Science and Computation Structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Recursion, Replication and Scope Mechanisms in Process Calculi