Equational reasoning about LOTOS specifications: a rewriting approach
Rocco De Nicola, Paola Inverardi, Monica Nesi · 1991
In this paper we present an equational 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.