On Beta-Binders Communications

DOI10.1007/978-3-540-68679-8_28zbMath1143.68400OpenAlexW2153807499MaRDI QIDQ3507381

Paola Quaglia

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_28

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (2)

A Translation of Beta-binders in a Prioritized Pi-calculus ⋮ A control flow analysis for Beta-binders with and without static compartments

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symbolic bisimulations
• A calculus of mobile processes. I
• A \(\pi\)-calculus with explicit substitutions
• Mobile ambients
• BioAmbients: an abstraction for biological compartments
• Communicating by compatibility
• The Decidability of the Structural Congruence for Beta-binders

This page was built for publication: On Beta-Binders Communications