A compositional approach to performance modelling
A compositional approach to performance modelling
On the decidability of process equivalences for the &pgr;-calculus
Theoretical Computer Science - Special issue on algebraic methodology and software technology
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Information Processing Letters
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
MPA: a Stochastic Process Algebra
MPA: a Stochastic Process Algebra
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Invited Talk: A Process Algebra Master Equation
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
Electronic Notes in Theoretical Computer Science (ENTCS)
Hybrid Semantics for Stochastic π-Calculus
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
On the Computational Power of Biochemistry
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Process Algebra Models of Population Dynamics
AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Termination Problems in Chemical Kinetics
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Synapses as stochastic concurrent systems
Theoretical Computer Science
nanoK: A calculus for the modeling and simulation of nano devices
Theoretical Computer Science
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
External Control in Process Algebra for Systems Biology
Electronic Notes in Theoretical Computer Science (ENTCS)
Improved Continuous Approximation of PEPA Models through Epidemiological Examples
Electronic Notes in Theoretical Computer Science (ENTCS)
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
Electronic Notes in Theoretical Computer Science (ENTCS)
A process model of Rho GTP-binding proteins
Theoretical Computer Science
Modeling Feedback within MAS: A Systemic Approach to Organizational Dynamics
Organized Adaption in Multi-Agent Systems
Compositional Abstraction for Stochastic Systems
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
From Biochemistry to Stochastic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Turing universality of the biochemical ground form
Mathematical Structures in Computer Science
Evaluating fluid semantics for passive stochastic process algebra cooperation
Performance Evaluation
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
An automated translation from a narrative language for biological modelling into process algebra
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
A gentle introduction to stochastic (poly)automata collectives and the (bio)chemical ground form
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
From species to pathway and tissue as process
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
From individuals to populations: A mean field semantics for process algebra
Theoretical Computer Science
Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Strand algebras for DNA computing
Natural Computing: an international journal
Design of a biomolecular device that executes process algebra
Natural Computing: an international journal
Scaling performance analysis using fluid-flow approximation
Rigorous software engineering for service-oriented systems
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Probabilistic model checking of biological systems with uncertain kinetic rates
Theoretical Computer Science
The attributed pi-calculus with priorities
Transactions on Computational Systems Biology XII
Modelling self-assembly in BlenX
Transactions on Computational Systems Biology XII
Stochastic simulation of multiple process calculi for biology
Theoretical Computer Science
Foundational aspects of multiscale modeling of biological systems with process algebras
Theoretical Computer Science
Exact fluid lumpability for Markovian process algebra
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
An analysis for proving probabilistic termination of biological systems
Theoretical Computer Science
Computational and mathematical models of the JAK-STAT signal transduction pathway
Proceedings of the 2013 Summer Computer Simulation Conference
| Hi-index | 5.24 |
We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and continuous-state (concentration) semantics, and in particular that the continuous-state semantics of processes corresponds to the differential equations of chemistry based on the law of mass action. The novel semantics of processes so obtained equates processes that have the same state occupation dynamics, but which may have different interaction interfaces.