The Attributed Pi-Calculus with Priorities
From MaRDI portal
Publication:3068847
DOI10.1007/978-3-642-11712-1_2zbMath1275.92023OpenAlexW1849859304MaRDI QIDQ3068847
Joachim Niehren, Cédric Lhoussaine, Adelinde M. Uhrmacher, Mathias John
Publication date: 18 January 2011
Published in: Transactions on Computational Systems Biology XII (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11712-1_2
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)
Related Items (10)
Under-approximation of reachability in multivalued asynchronous networks ⋮ Sufficient conditions for reachability in automata networks with priorities ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ Constructing and visualizing chemical reaction networks from pi-calculus models ⋮ Biochemical Reaction Rules with Constraints ⋮ A calculus for collective-adaptive systems and its behavioural theory ⋮ Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ On the Power of Attribute-Based Communication ⋮ Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language
Uses Software
Cites Work
- Unnamed Item
- Modeling biological systems in stochastic concurrent constraint programming
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Formal molecular biology
- BioAmbients: an abstraction for biological compartments
- On process rate semantics
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
- A Spatial Extension to the π Calculus
- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon
- BlenX Static and Dynamic Semantics
- Extended pi-Calculi
- Rule-Based Modelling of Cellular Signalling
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Uniform confluence in concurrent computation
- Stochastic Bigraphs
- A Stochastic Pi Calculus for Concurrent Objects
- Modeling Static Biological Compartments with Beta-binders
- Intensional interpretations of functionals of finite type I
- Computational Methods in Systems Biology
- Brane Calculi
- Automata, Languages and Programming
- A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
This page was built for publication: The Attributed Pi-Calculus with Priorities
