PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Inverardi P., Nesi M. A rewriting strategy to verify observational congruence. In: Information Processing Letters, vol. 35 (4) pp. 191 - 199. North Holland, 1990.
 
 
Abstract
(English)
We are concerned with the verification of behavioural equivalences for CCS specifications. We consider their axiomatic presentations thus relying on a term rewriting approach to verify the equivalence. In this framework it happens that, while some behavioural equivalences do admin a finite canonical term rewriting system, the completion of observational congruence diverges. In the paper we present a complete rewriting strategy for observational congruence that permits to reduce a finite CCS specification to normal form without attempting any completion.
Subject Specification language
Term rewriting system
Concurrency
Behavioural equivalences
Completion
Divergence
Normal form


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