eprintid: 2212
rev_number: 7
eprint_status: archive
userid: 6
dir: disk0/00/00/22/12
datestamp: 2014-06-27 12:18:56
lastmod: 2015-02-06 10:07:15
status_changed: 2014-06-27 12:18:56
type: book_section
metadata_visibility: show
creators_name: De Nicola, Rocco
creators_name: Iacobelli, Giulio
creators_name: Tribastone, Mirco
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
title: Dimming relations for the efficient analysis of concurrent systems via action abstraction
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings
abstract: We study models of concurrency based on labelled transition systems where abstractions are induced by a partition of the action set. We introduce dimming relations which are able to relate two models if they can mimic each other by using actions from the same partition block. Moreover, we discuss the necessary requirements for guaranteeing compositional verification. We show how our new relations and results can be exploited when seemingly heterogeneous systems exhibit analogous behaviours manifested via different actions. Dimming relations make the models more homogeneous by collapsing such distinct actions into the same partition block. With our examples, we show how these abstractions may considerably reduce the state-space size, in some cases from exponential to polynomial complexity.
date: 2014
series: Lecture Notes in Computer Science
number: 8461
publisher: Springer 
pagerange: 216-231
id_number: 10.1007/978-3-662-43613-4_14
refereed: TRUE
isbn: 978-3-662-43612-7
book_title: Formal techniques for distributed objects, components, and systems
official_url: http://dx.doi.org/10.1007/978-3-662-43613-4_14
citation:   De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco  Dimming relations for the efficient analysis of concurrent systems via action abstraction.   In:  Formal techniques for distributed objects, components, and systems.   Lecture Notes in Computer Science  (8461).  Springer , pp. 216-231.  ISBN 978-3-662-43612-7      (2014)