TY  - CHAP
N2  - 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.
Y1  - 2012///
T2  - CONCUR 2012 ? Concurrency Theory
SP  - 380
PB  - Springer
UR  - http://dx.doi.org/10.1007/978-3-642-32940-1_27
TI  - Exact fluid lumpability for Markovian process algebra
AV  - none
T3  - Lecture Notes in Computer Science
SN  - 978-3-642-32939-5
A1  - Tschaikowski, Max
A1  - Tribastone, Mirco
KW  - Stochastic process algebra; ordinary differential equations; equivalence relations
ID  - eprints2587
EP  - 394
N1  - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
ER  -