Logo eprints

Behavioral Equivalences

De Nicola, Rocco Behavioral Equivalences. In: Encyclopedia of Parallel Computing. Springer, pp. 120-127. ISBN 978-0-387-09765-7 (2011)

PDF - Accepted Version
Download (140kB) | Preview


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.

Item Type: Book Section
Identification Number: 10.1007/978-0-387-09766-4_517
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 20 Jan 2012 09:04
Last Modified: 20 Jan 2012 09:32
URI: http://eprints.imtlucca.it/id/eprint/1073

Actions (login required)

Edit Item Edit Item