On Beta-Binders Communications

DOI10.1007/978-3-540-68679-8_28MaRDI QIDQ3507381zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Computational Methods in Systems Biology
• A translation of beta-binders in a prioritized pi-calculus
• Transactions on Computational Systems Biology I
• A static analysis for beta-binders
• On the decidability and complexity of the structural congruence for beta-binders

Cites work

• A \(\pi\)-calculus with explicit substitutions
• A calculus of mobile processes. I
• BioAmbients: an abstraction for biological compartments
• Communicating by compatibility
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• Mobile ambients
• Symbolic bisimulations
• The -calculus: A theory of mobile processes
• The decidability of the structural congruence for beta-binders

Cited in

(8)

• A control flow analysis for Beta-binders with and without static compartments
• Communicating by compatibility
• The decidability of the structural congruence for beta-binders
• A translation of beta-binders in a prioritized pi-calculus
• Transactions on Computational Systems Biology I
• Computational Methods in Systems Biology
• Transactions on Computational Systems Biology III
• On the decidability and complexity of the structural congruence for beta-binders

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

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