eprintid: 386
rev_number: 8
eprint_status: archive
userid: 32
dir: disk0/00/00/03/86
datestamp: 2011-06-13 09:11:14
lastmod: 2011-07-11 14:36:27
status_changed: 2011-06-13 09:11:14
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_id: r.denicola@imtlucca.it
title: Extensional Equivalences for Transition Systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: Various notions of systems equivalence based on the reactions of systems to stimuli from the outside world are presented and compared. These notions have been proposed in the literature to allow abstraction from unwanted details in models of concurrent and communicating systems. The equivalences, already defined for different theories of concurrency, will be compared by adapting their definitions to labelled transition systems, a model which underlies many others. In the presentation of each equivalence, the aspects of system behaviours which are ignored and the identifications which are forced will be stressed. It will be shown that many equivalences, although defined very differently by following different intuitions about systems behaviour, turn out to be the same or to differ only in minor detail for a large class of transition systems.
date: 1987
date_type: published
publication: Acta Informatica
volume: 24
number: 2
publisher: Springer
pagerange: 211-237
id_number: 10.1007/BF00264365
refereed: TRUE
issn: 0001-5903
official_url: http://dx.doi.org/10.1007/BF00264365
citation:   De Nicola, Rocco  Extensional Equivalences for Transition Systems.  Acta Informatica, 24 (2).  pp. 211-237.  ISSN 0001-5903      (1987)