<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Behavioral Equivalences"^^ . "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\r\nof 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\r\nalgebra. 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\r\nof 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\r\nsame 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."^^ . "2011" . . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . "David"^^ . "Padua"^^ . "David Padua"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . . "Behavioral Equivalences (PDF)"^^ . . . . . "De_Nicola_2011_Behavioral_Equivalences.pdf"^^ . . . "Behavioral Equivalences (Image (PNG))"^^ . . . . . . "lightbox.jpg"^^ . . . "Behavioral Equivalences (Image (PNG))"^^ . . . . . . "preview.jpg"^^ . . . "Behavioral Equivalences (Image (PNG))"^^ . . . . . . "medium.jpg"^^ . . . "Behavioral Equivalences (Image (PNG))"^^ . . . . . . "small.jpg"^^ . . . "Behavioral Equivalences (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #1073 \n\nBehavioral Equivalences\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .