<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Basic Observables for Processes"^^ . "We propose a general approach to define behavioural preorders over process terms by considering the pre-congruences induced by three basic observables. These observables provide information about the initial communication capabilities of processes and about their possibility of engaging in an infinite internal chattering. We show that some of the observables-based pre-congruences do correspond to behavioral preorders long studied in the literature. The coincidence proofs shed light on the differences between the must preorder of De Nicola and Hennessy and the fair/should preorder of Cleaveland and Natarajan and of Brinksma, Rensink and Vogler, and on the rôle played in their definition by tests for internal chattering."^^ . "1997" . "1256" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Alberto"^^ . "Marchetti-Spaccamela"^^ . "Alberto Marchetti-Spaccamela"^^ . . "Pierpaolo"^^ . "Degano"^^ . "Pierpaolo Degano"^^ . . "Roberto"^^ . "Gorrieri"^^ . "Roberto Gorrieri"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Michele"^^ . "Boreale"^^ . "Michele Boreale"^^ . . . . . "HTML Summary of #353 \n\nBasic Observables for Processes\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .