Challenges for modeling and simulation methods in systems biology
Proceedings of the 38th conference on Winter simulation
Model checking mobile stochastic logic
Theoretical Computer Science
Barbed Model--Driven Software Development: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
Electronic Notes in Theoretical Computer Science (ENTCS)
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM SIGMETRICS Performance Evaluation Review
Scalable Analysis of Scalable Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Quantitative Analysis of Web Services Using SRMC
Formal Methods for Web Services
Rate-Based Transition Systems for Stochastic Process Calculi
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Evaluating fluid semantics for passive stochastic process algebra cooperation
Performance Evaluation
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
Structural operational semantics for stochastic process calculi
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Stochastic Petri net models of Ca2+ signaling complexes and their analysis
Natural Computing: an international journal
A unifying formal basis for the SENSORIA approach: a white paper
Rigorous software engineering for service-oriented systems
Evaluating service level agreements using observational probes
Rigorous software engineering for service-oriented systems
Passage-end analysis for analysing robot movement
Rigorous software engineering for service-oriented systems
Towards a system model for ensembles
Formal modeling
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
The attributed pi-calculus with priorities
Transactions on Computational Systems Biology XII
Efficient modelling and generation of Markov automata
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Structural operational semantics for stochastic and weighted transition systems
Information and Computation
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Expressing and computing passage time measures of GSPN models with HASL
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Concurrency meets probability: theory and practice
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
| Hi-index | 0.00 |
In the 1980s, process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which had previously been abstracted, were developed for a number of different purposes. In the area of performance analysis models must quantify both timing and probability. Addressing this domain led to the formulation of stochastic process algebras. In this paper we give a brief overview of stochastic process algebras and the problems which motivated them, before focusing on their relationship with the underlying mathematical stochastic process. This is presented in the context of the PEPA formalism.