Non-interleaving semantics for mobile processes
Theoretical Computer Science
Minimal and Optimal Computations of Recursive Programs
Journal of the ACM (JACM)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Information Processing Letters
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Event Structure Semantics for CCS and Related Languages
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Permutation of transitions: An event structure semantics for CCS and SCCS
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Theoretical Computer Science - Special issue: Computational systems biology
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Graphical rule-based representation of signal-transduction networks
Proceedings of the 2005 ACM symposium on Applied computing
Rule-based modeling of biochemical networks: Research Articles
Complexity - Understanding Complex Systems: Part II
Stochastic process semantics for dynamical grammars
Annals of Mathematics and Artificial Intelligence
Formal Molecular Biology Done in CCS-R
Electronic Notes in Theoretical Computer Science (ENTCS)
ESOP'03 Proceedings of the 12th European conference on Programming
Efficient, correct simulation of biological processes in the stochastic pi-calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Transactions on Computational Systems Biology VII
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Systems biology, models, and concurrency
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
Rule-Based Modelling, Symmetries, Refinements
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
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
How liquid is biological signalling?
Theoretical Computer Science
A Process Model of Actin Polymerisation
Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
Modelling Epigenetic Information Maintenance: A Kappa Tutorial
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
From Biochemistry to Stochastic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Process algebras in systems biology
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
Abstract interpretation of cellular signalling networks
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Measurable Types for Dynamical Process Modeling Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Fragments-based Model Reduction: Some Case Studies
Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic modelling and simulation of mobile systems
Graph transformations and model-driven engineering
Biochemical reaction rules with constraints
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Rule-based modeling of transcriptional attenuation at the tryptophan operon
Winter Simulation Conference
Coloured stochastic multilevel multiset rewriting
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
A Syntactic Abstraction for Rule-Based Languages with Binding
Electronic Notes in Theoretical Computer Science (ENTCS)
Rule-Based modeling of transcriptional attenuation at the tryptophan operon
Transactions on Computational Systems Biology XII
Stochastic simulation of multiple process calculi for biology
Theoretical Computer Science
Simulation techniques for the calculus of wrapped compartments
Theoretical Computer Science
Lumpability abstractions of rule-based systems
Theoretical Computer Science
Typed stochastic semantics for the calculus of looping sequences
Theoretical Computer Science
Events, causality and symmetry
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
An imperative language of self-modifying graphs for biological systems
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Containment in Rule-Based Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Self-organized Patterning by Diffusible Factors: Roles of a Community Effect
Fundamenta Informaticae - Watching the Daisies Grow: from Biology to Biomathematics and Bioinformatics — Alan Turing Centenary Special Issue
Multistate modeling and simulation forregulatory networks
Proceedings of the Winter Simulation Conference
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 0.01 |
Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-based languages seem particularly suitable for their representation and simulation [1,2,3,4]. Graphical modelling languages such as κ [5, 6, 7, 8], or the closely related BNG language [9,10,11,12,13,14], seem to afford particular ease of expression. It is unclear however how such models can be implemented. Even a simple model of the EGF receptor signalling network can generate more than 1023 non-isomorphic species [5], and therefore no approach to simulation based on enumerating species (beforehand, or even on-the-fly) can handle such models without sampling down the number of potential generated species. We present in this paper a radically different method which does not attempt to count species. The proposed algorothm uses a representation of the system together with a super-approximation of its 'event horizon' (all events that may happen next), and a specific correction scheme to obtain exact timings. Being completely local and not based on any kind of enumeration, this algorithm has a per event time cost which is independent of (i) the size of the set of generable species (which can even be infinite), and (ii) independent of the size of the system (ie, the number of agent instances). We show how to refine this algorithm, using concepts derived from the classical notion of causality, so that in addition to the above one also has that the even cost is depending (iii) only logarithmically on the size of the model (ie, the number of rules). Such complexity properties reflect in our implementation which, on a current computer, generates about 106 events per minute in the case of the simple EGF receptor model mentioned above, using a system with 105 agents.