eprintid: 3063
rev_number: 6
eprint_status: archive
userid: 69
dir: disk0/00/00/30/63
datestamp: 2016-02-12 12:37:25
lastmod: 2016-02-12 12:37:25
status_changed: 2016-02-12 12:37:25
type: book_section
metadata_visibility: show
creators_name: Iacobelli, Giulio
creators_name: Tribastone, Mirco
creators_name: Vandin, Andrea
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
creators_id: andrea.vandin@imtlucca.it
title: Differential Bisimulation for a Markovian Process Algebra
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: Formal languages with semantics based on ordinary differential equations (ODEs) have emerged as a useful tool to reason about large-scale distributed systems. We present differential bisimulation, a behavioral equivalence developed as the ODE counterpart of bisimulations for languages with probabilistic or stochastic semantics. We study it in the context of a Markovian process algebra. Similarly to Markovian bisimulations yielding an aggregated Markov process in the sense of the theory of lumpability, differential bisimulation yields a partition of the ODEs underlying a process algebra term, whereby the sum of the ODE solutions of the same partition block is equal to the solution of a single (lumped) ODE. Differential bisimulation is defined in terms of two symmetries that can be verified only using syntactic checks. This enables the adaptation to a continuous-state semantics of proof techniques and algorithms for finite, discrete-state, labeled transition systems. For instance, we readily obtain a result of compositionality, and provide an efficient partition-refinement algorithm to compute the coarsest ODE aggregation of a model according to differential bisimulation.
date: 2015
date_type: published
series: Lecture Notes in Computer Science
number: 9234
publisher: Springer
pagerange: 293-306
pages: 13
id_number: 10.1007/978-3-662-48057-1_23
refereed: TRUE
isbn: 978-3-662-48056-4
book_title: Mathematical Foundations of Computer Science 2015. 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
official_url: http://link.springer.com/chapter/10.1007%2F978-3-662-48057-1_23
projects: QUANTICOL
citation:   Iacobelli, Giulio and Tribastone, Mirco and Vandin, Andrea  Differential Bisimulation for a Markovian Process Algebra.   In:  Mathematical Foundations of Computer Science 2015. 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I.   Lecture Notes in Computer Science  (9234).  Springer, pp. 293-306.  ISBN 978-3-662-48056-4      (2015)