2012 | OriginalPaper | Buchkapitel
Exact Fluid Lumpability for Markovian Process Algebra
verfasst von : Max Tschaikowski, Mirco Tribastone
Erschienen in: CONCUR 2012 – Concurrency Theory
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.