scientific article; zbMATH DE number 7438560

zbMath1476.68181arXiv1508.06711MaRDI QIDQ5013871

Kirstin Peters, Robert J. van Glabbeek

Publication date: 3 December 2021

Full work available at URL: https://arxiv.org/abs/1508.06711

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

On distributability ⋮ On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus ⋮ Encodability criteria for quantum based systems ⋮ Coupled similarity: the first 32 years ⋮ Unnamed Item ⋮ Replacement freeness: a criterion for separating process calculi ⋮ Unnamed Item ⋮ Distributability of mobile ambients ⋮ Unnamed Item ⋮ The \(C_\pi\)-calculus: a model for confidential name passing ⋮ On the relative expressiveness of higher-order session processes

Uses Software

• Isabelle/HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. I
• On abstraction and the expressive power of programming languages
• Mobile ambients
• Isabelle/HOL. A proof assistant for higher-order logic
• What is a ``good encoding of guarded choice?
• Decoding choice encodings
• Towards a unified approach to encodability and separation results for process calculi
• Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
• Expressiveness of Process Algebras
• Is It a “Good” Encoding of Mixed Choice?
• On the expressive power of recursion, replication and iteration in process calculi
• On Distributability in Process Calculi
• Full abstraction for expressiveness: history, myths and facts
• General conditions for full abstraction
• Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi

This page was built for publication: