A compositional approach to performance modelling
A compositional approach to performance modelling
Theoretical Computer Science
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of 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
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
Transactions on Computational Systems Biology XI
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Tackling continuous state-space explosion in a Markovian process algebra
Theoretical Computer Science
Hi-index | 0.00 |
We study behavioural relations for process algebra with a fluid semantics given in terms of a system of ordinary differential equations (ODEs). We introduce label equivalence, a relation which is shown to induce an exactly lumped fluid model, a potentially smaller ODE system which can be exactly related to the original one. We show that, in general, for two processes that are related in the fluid sense nothing can be said about their relationship from stochastic viewpoint. However, we identify a class of models for which label equivalence implies a correspondence, called semi-isomorphism, between their transition systems that are at the basis of the Markovian interpretation.