PUMA
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.
 
 
Abstract
(English)
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.
Subject


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