On Recursion, Replication and Scope Mechanisms in Process Calculi

DOI10.1007/978-3-540-74792-5_9MaRDI QIDQ3525112zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• On the expressive power of recursion, replication and iteration in process calculi
• Automata, Languages and Programming
• scientific article; zbMATH DE number 2038705
• Foundations of Software Science and Computation Structures
• On the expressiveness of interaction

Cites work

• A calculus of mobile processes. I
• CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 5605072 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Linear logic
• On the computational strength of pure ambient calculi
• On the expressive power of movement and restriction in pure mobile ambients
• Remarks on blind and partially blind one-way multicounter machines
• The -calculus: A theory of mobile processes
• The Esterel synchronous programming language: Design, semantics, implementation
• Verification on infinite structures.

Cited in

(10)

• Replacement freeness: a criterion for separating process calculi
• A stable non-interleaving early operational semantics for the pi-calculus
• Corecursion and non-divergence in session-typed processes
• On the expressiveness of the -calculus and the mobile ambients
• On the expressive power of recursion, replication and iteration in process calculi
• scientific article; zbMATH DE number 2038705 (Why is no real title available?)
• Foundations of Software Science and Computation Structures
• Automata, Languages and Programming
• Replications in reversible concurrent calculi
• Making random choices invisible to the scheduler

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525112)