Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R., Hennessy M. Testing equivalences for processes. vol. 154 J. Diaz (ed.). (Computer Science). Berlin: Springer, 1983.
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 system 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