Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R., Hennessy M. Testing equivalences for processes. In: Theoretical Computer Sciences, vol. 34 pp. 83 - 133. North Holland, 1984.
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.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional