eprintid: 1655
rev_number: 11
eprint_status: archive
userid: 6
dir: disk0/00/00/16/55
datestamp: 2013-08-09 08:02:03
lastmod: 2015-02-06 10:09:37
status_changed: 2013-08-09 08:02:03
type: monograph
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: public
monograph_type: imt_cs_techninal_report
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, i.e., notions of behavioural equivalence which are able to relate two models if they can match each other's actions
whenever they are in the same partition block. We show applicability to a number of situations of practical interest which are apparently heterogeneous but exhibit similar behaviors although 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 permit reducing the state-space complexity from exponential to polynomial in the number of concurrent processes.
date: 2013-08
number: 9
publisher: IMT Institute for Advanced Studies Lucca
pages: 29
institution: IMT Institute for Advanced Studies Lucca
citation:   De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco  Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction.  CSA Technical Report  #9/2013    IMT Institute for Advanced Studies Lucca         
document_url: http://eprints.imtlucca.it/1655/1/CSA_TR_2013_9.pdf