eprintid: 1073
rev_number: 10
eprint_status: archive
userid: 6
dir: disk0/00/00/10/73
datestamp: 2012-01-20 09:04:42
lastmod: 2012-01-20 09:32:03
status_changed: 2012-01-20 09:04:42
type: book_section
metadata_visibility: show
creators_name: De Nicola, Rocco
creators_id: r.denicola@imtlucca.it
title: Behavioral Equivalences
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
abstract: Beahvioral equivalences serve to establish in which cases two reactive (possible concurrent) systems offer similar interaction capabilities relatively to other systems representing their operating environment. Behavioral equivalences have been mainly developed in the context
of process algebras, mathematically rigorous languages that have been used for describing and verifying properties of concurrent communicating systems. By relying on the so called structural operational semantics (SOS), labelled transition systems, are associated to each term of a process
algebra. Behavioral equivalences are used to abstract from unwanted details and identify those labelled transition systems that react “similarly” to external experiments. Due to the large number of properties which may be relevant in the analysis of concurrent systems, many different theories
of equivalences have been proposed in the literature. The main contenders consider those systems equivalent that (i) perform the same sequences of actions, or (ii) perform the same sequences of actions and after each sequence are ready to accept the same sets of actions, or (iii) perform the
same sequences of actions and after each sequence exhibit, recursively, the same behavior. This approach leads to many different equivalences that preserve significantly different properties of systems.
date: 2011
date_type: published
publisher: Springer
pagerange: 120-127
pages: 2366
id_number: 10.1007/978-0-387-09766-4_517
refereed: TRUE
isbn: 978-0-387-09765-7
book_title: Encyclopedia of Parallel Computing
editors_name: Padua, David
official_url: http://dx.doi.org/10.1007/978-0-387-09766-4_517
citation:   De Nicola, Rocco  Behavioral Equivalences.   In:  Encyclopedia of Parallel Computing.   Springer, pp. 120-127.  ISBN 978-0-387-09765-7      (2011)  
document_url: http://eprints.imtlucca.it/1073/1/De_Nicola_2011_Behavioral_Equivalences.pdf