IMT Institutional Repository: No conditions. Results ordered -Date Deposited. 2024-03-28T23:32:16ZEPrintshttp://eprints.imtlucca.it/images/logowhite.pnghttp://eprints.imtlucca.it/2011-06-06T14:21:20Z2011-07-11T14:36:27Zhttp://eprints.imtlucca.it/id/eprint/395This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/3952011-06-06T14:21:20ZTesting Equivalence for ProcessesGiven 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.Rocco De Nicolar.denicola@imtlucca.itMatthew Hennessy2011-06-06T13:51:59Z2011-07-11T14:36:27Zhttp://eprints.imtlucca.it/id/eprint/394This item is in the repository with the URL: http://eprints.imtlucca.it/id/eprint/3942011-06-06T13:51:59ZA Complete Set of Axioms for a Theory of Communicating Sequential ProcessesRocco De Nicolar.denicola@imtlucca.it