<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Testing Equivalence for Processes"^^ . "Given a set of processes and a set of tests on these processes we show how to define in a natural way three different equivalences on processes. These equivalences are applied to a particular language CCS. We give associated complete proof systems and fully abstract models. These models have a simple representation in terms of trees."^^ . "1983" . "154" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Matthew"^^ . "Hennessy"^^ . "Matthew Hennessy"^^ . . "Josep"^^ . "Diaz"^^ . "Josep Diaz"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . . . . "HTML Summary of #395 \n\nTesting Equivalence for Processes\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .