A Translation of Beta-binders in a Prioritized Pi-calculus

DOI10.1016/j.entcs.2009.02.008zbMath1283.92006OpenAlexW2031637156MaRDI QIDQ5404078

Paola Quaglia, Igor Cappello

Publication date: 21 March 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.02.008

zbMATH Keywords

reduction semanticsname-passing process calculi

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General biology and biomathematics (92B05)

Cites Work

• Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
• Decoding choice encodings
• BioAmbients: an abstraction for biological compartments
• Types and full abstraction for polyadic \(\pi\)-calculus
• On Beta-Binders Communications
• Computational Methods in Systems Biology
• A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Translation of Beta-binders in a Prioritized Pi-calculus