Petri net models for algebraic theories of concurrency
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Axiomatising finite concurrent processes
SIAM Journal on Computing
A calculus of mobile processes, I
Information and Computation
A calculus of mobile processes, II
Information and Computation
A theory of higher order communicating systems
Information and Computation
Information Processing Letters
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science
Generalized Bisimulation in Relational Specifications
STACS '88 Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science
Towards a Lambda-Calculus for Concurrent and Communicating Systems
TAPSOFT '89/CAAP '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
SOS for higher order processes
CONCUR 2005 - Concurrency Theory
Theoretical Computer Science
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
The Continuous π-Calculus: A Process Algebra for Biochemical Modelling
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
Spatial Calculus of Looping Sequences
Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
The calculus of looping sequences
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
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Theoretical Computer Science
Delay stochastic simulation of biological systems: a purely delayed approach
Transactions on computational systems biology XIII
Multi-scale modelling of biological systems in process algebra with multi-way synchronisation
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
A language for biochemical systems: design and formal specification
Transactions on Computational Systems Biology XII
A stochastic semantics for bioambients
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
An Algorithm for the Identification of Components in Biochemical Pathways
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 5.23 |
We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modeling of biological systems. In the usual semantics of process algebras for modeling biological systems actions are instantaneous. When different scale levels of biological systems are considered in a single model, one should take into account that actions at a level may take much more time than actions at a lower level. Moreover, it might happen that while a component is involved in one long lasting high level action, it is involved also in several faster lower level actions. Hence, we propose a process algebra with operations and with a semantics aimed at dealing with these aspects of multiscale modeling. We give both a reduction semantics and an SOS semantics for our new algebra with a result of operational correspondence between the two. Moreover, we study behavioral equivalences for such an algebra and give some examples.