### Specifying properties of Basic LOTOS processes using temporal logic

Abstract

Temporal logic can be used to describe desirable properties of a system in a more abstract, less constructive, manner than when using process algebra alone. This is a well researched area for other process algebras, but not so for LOTOS. This paper is an initial attempt to fill that gap by investigating the use of the modal $\mu$-calculus with Basic LOTOS, laying the groundwork for current work on Full LOTOS, i.e. including data types, and logic.

Research   Teaching   CV   Personal   Home
Dr Carron Shankland    Email: ces@cs.stir.ac.uk    Last revision: 27th January 1997