Equational reasoning about LOTOS specifications: A rewriting approach

Contributo in Atti di convegno
Data di Pubblicazione:
1991
Abstract:
In this paper we present an equalional approach to the verification of concurrent systems specified in the ISO specification language LOTOS. The approach is based on term rewriting techniques. The kind of reasoning and verification strategies which can be performed are illustrated through two examples.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
LOTOS
Elenco autori:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/427894