Specifying properties of Basic LOTOS processes using temporal logic


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] Home
Dr Carron Shankland    Email: ces@cs.stir.ac.uk [email me]    Last revision: 27th January 1997