Logo eprints

Exact fluid lumpability for Markovian process algebra

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)

Full text not available from this repository.

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.

Item Type: Book Section
Identification Number: 10.1007/978-3-642-32940-1_27
Additional Information: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
Uncontrolled Keywords: Stochastic process algebra; ordinary differential equations; equivalence relations
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 10 Feb 2015 14:06
Last Modified: 24 Jul 2015 12:31
URI: http://eprints.imtlucca.it/id/eprint/2587

Actions (login required)

Edit Item Edit Item