eprintid: 2587
rev_number: 7
eprint_status: archive
userid: 6
dir: disk0/00/00/25/87
datestamp: 2015-02-10 14:06:19
lastmod: 2015-07-24 12:31:15
status_changed: 2015-02-10 14:06:19
type: book_section
metadata_visibility: show
creators_name: Tschaikowski, Max
creators_name: Tribastone, Mirco
creators_id: max.tschaikowski@imtlucca.it
creators_id: mirco.tribastone@imtlucca.it
title: Exact fluid lumpability for Markovian process algebra
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: Stochastic process algebra; ordinary differential equations; equivalence relations
note: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
abstract: 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.
date: 2012
series: Lecture Notes in Computer Science
number: 7454
publisher: Springer
pagerange: 380-394
id_number: 10.1007/978-3-642-32940-1_27
refereed: TRUE
isbn: 978-3-642-32939-5
book_title: CONCUR 2012 – Concurrency Theory
official_url: http://dx.doi.org/10.1007/978-3-642-32940-1_27
citation:   Tschaikowski, Max and Tribastone, Mirco  Exact fluid lumpability for Markovian process algebra.   In:  CONCUR 2012 – Concurrency Theory.   Lecture Notes in Computer Science  (7454).  Springer, pp. 380-394.  ISBN 978-3-642-32939-5      (2012)