Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
An open graph visualization system and its applications to software engineering
Software—Practice & Experience - Special issue on discrete algorithm engineering
Information Processing Letters
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
A graphical representation for biological processes in the stochastic pi-calculus
Transactions on Computational Systems Biology VII
Probabilistic model checking of complex biological pathways
Theoretical Computer Science
Using probabilistic model checking in systems biology
ACM SIGMETRICS Performance Evaluation Review
Modelling the Tunability of Early T Cell Signalling Events
ICARIS '08 Proceedings of the 7th international conference on Artificial Immune Systems
Immune Systems and Computation: An Interdisciplinary Adventure
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Synapses as stochastic concurrent systems
Theoretical Computer Science
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
An Abstract Machine for the Stochastic Bioambient calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
External Control in Process Algebra for Systems Biology
Electronic Notes in Theoretical Computer Science (ENTCS)
A Process Model of Actin Polymerisation
Electronic Notes in Theoretical Computer Science (ENTCS)
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling of Genetic Regulatory Network in Stochastic π-Calculus
BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
A process model of Rho GTP-binding proteins
Theoretical Computer Science
Embedded Probabilistic Programming
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
An Efficient and Adaptive Mechanism for Parallel Simulation Replication
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Towards Enhanced Retrieval of Biological Models through Annotation-Based Ranking
DILS '09 Proceedings of the 6th International Workshop on Data Integration in the Life Sciences
Dynamic Compartments in the Imperative Π-Calculus
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Regenerative systems: challenges and opportunities for modeling, simulation, and visualization
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Scalable simulation of cellular signaling networks
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Hierarchical modeling for computational 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
A flexible architecture for performance experiments with the pi-Calculus and its extensions
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
A flexible and extensible architecture for experimental model validation
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Abstract interpretation based verification of temporal properties for BioAmbients
Information and Computation
A generic abstract machine for stochastic process calculi
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Fragments-based Model Reduction: Some Case Studies
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Refining dynamics of gene regulatory networks in a stochastic π-calculus framework
Transactions on computational systems biology XIII
The attributed pi-calculus with priorities
Transactions on Computational Systems Biology XII
Modelling self-assembly in BlenX
Transactions on Computational Systems Biology XII
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
Measurable stochastics for Brane Calculus
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Maximally Parallel Probabilistic Semantics for Multiset Rewriting
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Simulation and study of large-scale bacteria-materials interactions via BioScape enabled by GPUs
Proceedings of the ACM Conference on Bioinformatics, Computational Biology and Biomedicine
An analysis for proving probabilistic termination of biological systems
Theoretical Computer Science
Complex functional rates in rule-based languages for biochemistry
Transactions on Computational Systems Biology XIV
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions
Electronic Notes in Theoretical Computer Science (ENTCS)
Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulating Anti-adhesive and Antibacterial Bifunctional Polymers for Surface Coating using BioScape
Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics
Computational and mathematical models of the JAK-STAT signal transduction pathway
Proceedings of the 2013 Summer Computer Simulation Conference
An Algorithm for the Identification of Components in Biochemical Pathways
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.01 |
This paper presents a simulation algorithm for the stochastic π-calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a simulation depends on the number of species, rather than the number of molecules, resulting in a significant gain in efficiency. The algorithm is proved correct with respect to the calculus, and then used as a basis for implementing the latest version of the SPiM stochastic simulator. The algorithm is also suitable for generating graphical animations of simulations, in order to visualise system dynamics.