Petri nets: an introduction
A calculus of mobile processes, I
Information and Computation
Non-interleaving semantics for mobile processes
Theoretical Computer Science
Computational models of immunological pathways
IPCAT '97 Proceedings of the second international workshop on Information processing in cell and tissues
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Names fo the &pgr;-calculus agents handled locally
Theoretical Computer Science - Special issues on models and paradigms for concurrency
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Information Processing Letters
Communication and Concurrency
Language-based performance prediction for distributed and mobile systems
Information and Computation
An Evaluation of Ontology Exchange Languages for Bioinformatics
Proceedings of the Eighth International Conference on Intelligent Systems for Molecular Biology
Causal pi-Calculus for Biochemical Modelling
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Enhanced Operational Semantics in Systems Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
A Core Modeling Language for the Working Molecular Biologist (Abstract)
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
The Immune System as a Reactive System: Modeling T Cell Activation with Statecharts,
The Immune System as a Reactive System: Modeling T Cell Activation with Statecharts,
ESOP'03 Proceedings of the 12th European conference on Programming
Proceedings of the 38th conference on Winter simulation
A Probabilistic Model for Molecular Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
A Calculus of Looping Sequences for Modelling Microbiological Systems
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
What is a free name in a process algebra?
Information Processing Letters
An Intermediate Language for the Simulation of Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A&A for modelling and engineering simulations in Systems Biology
International Journal of Agent-Oriented Software Engineering
Computational virtuality in biological systems
Theoretical Computer Science
Transactions on Computational Systems Biology X
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
Transactions on Computational Systems Biology IX
Spatial Calculus of Looping Sequences
Electronic Notes in Theoretical Computer Science (ENTCS)
A Control Flow Analysis for Beta-binders with and without static compartments
Theoretical Computer Science
An intermediate language for the stochastic simulation of biological systems
Theoretical Computer Science
Exploiting non-Markovian Bio-Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA for Epidemiological Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling static biological compartments with beta-binders
AB'07 Proceedings of the 2nd international conference on Algebraic biology
The calculus of looping sequences for modeling biological membranes
WMC'07 Proceedings of the 8th international conference on Membrane computing
Scalable simulation of cellular signaling networks
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Cells in silico: a holistic approach
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
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 π-based process calculus for the implementation of compartmentalised bio-inspired calculi
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
On the use of temporal formal logic to model gene regulatory networks
CIBB'09 Proceedings of the 6th international conference on Computational intelligence methods for bioinformatics and biostatistics
Communications of the ACM
Spatial Calculus of Looping Sequences
Theoretical Computer Science
Web process dynamic stepped extension: Pi-calculus-based model and inference experiments
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Feedbacks and oscillations in the virtual cell VICE
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Bisimulation congruences in the calculus of looping sequences
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Abstract machines of systems biology
Transactions on Computational Systems Biology III
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Modelling and analysis of the NF-κB pathway in bio-PEPA
Transactions on Computational Systems Biology XII
Simulation techniques for the calculus of wrapped compartments
Theoretical Computer Science
Typed stochastic semantics for the calculus of looping sequences
Theoretical Computer Science
A Calculus of Looping Sequences for Modelling Microbiological Systems
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
A Probabilistic Model for Molecular Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Quantitative reactive modeling and verification
Computer Science - Research and Development
| Hi-index | 0.02 |
We use the π-calculus to model the evolution of biochemical systems, taking advantage of their similarities with global computation applications. First, we present a reduction semantics for the π-calculus from which causality and concurrency can be mechanically derived. We prove that our semantics agrees with the causal definitions presented in the literature. We also extend our semantics to model biological compartments. Then, we show the applicability of our proposal on a couple of biological examples.