Communicating by compatibility

DOI10.1016/j.jlap.2007.09.001zbMath1137.68045OpenAlexW2079843360MaRDI QIDQ2426519

Davide Prandi, Paola Quaglia, Corrado Priami

Publication date: 22 April 2008

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2007.09.001

Mathematics Subject Classification ID

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

Related Items (3)

BlenX Static and Dynamic Semantics ⋮ On Beta-Binders Communications ⋮ A control flow analysis for Beta-binders with and without static compartments

Uses Software

• PRISM
• PiDuce
• COWS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Service oriented computing from a process algebraic perspective
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• A type system for lock-free processes
• Modelling dynamic web data
• The Decidability of the Structural Congruence for Beta-binders
• A generic type system for the Pi-calculus
• Computational Methods in Systems Biology
• A Calculus for Orchestration of Web Services

This page was built for publication: Communicating by compatibility