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