Communicating by compatibility

DOI10.1016/J.JLAP.2007.09.001MaRDI QIDQ2426519zbMATH OpenOpenAlexFDO

Authors Davide Prandi, Corrado Priami, Paola Quaglia

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)

Recommendations

• On Beta-Binders Communications
• scientific article; zbMATH DE number 1900807
• A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
• A language for biochemical systems: design and formal specification
• scientific article; zbMATH DE number 1956561

Cites work

• A Calculus for Orchestration of Web Services
• A generic type system for the -calculus
• A type system for lock-free processes
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• BioAmbients: an abstraction for biological compartments
• Computational Methods in Systems Biology
• Formal molecular biology
• Formalizing web service choreographies
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Modelling dynamic web data
• Service oriented computing from a process algebraic perspective
• The -calculus: A theory of mobile processes
• The decidability of the structural congruence for beta-binders

Cited in

(5)

• Communication compatible voting rules
• A control flow analysis for Beta-binders with and without static compartments
• BlenX Static and Dynamic Semantics
• On Beta-Binders Communications
• Exploiting non-Markovian bio-processes

Describes a project that uses

Uses Software

• COWS
• PiDuce
• PRISM

This page was built for publication: Communicating by compatibility

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