relation: http://eprints.imtlucca.it/1073/
title: Behavioral Equivalences
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
contributor: Padua, David
date: 2011
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/1073/1/De_Nicola_2011_Behavioral_Equivalences.pdf
identifier:   De Nicola, Rocco  Behavioral Equivalences.   In:  Encyclopedia of Parallel Computing.   Springer, pp. 120-127.  ISBN 978-0-387-09765-7      (2011)  
relation: http://dx.doi.org/10.1007/978-0-387-09766-4_517
relation: 10.1007/978-0-387-09766-4_517