Istituto di Scienza e Tecnologie dell'Informazione     
Inverardi P., Nesi M. A rewriting strategy to verify observational congruence. Internal note IEI-B4-38, 1989.
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 admit 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
Behavioural equivalences
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