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.
![[]](../Pix/dkblu-marble.gif)
Research
![[]](../Pix/green2-marble.gif)
Teaching
![[]](../Pix/red-marble.gif)
CV
![[]](../Pix/yellow-marble.gif)
Personal
![[Home]](../Pix/home.gif)
Home
Dr Carron Shankland
Email: ces@cs.stir.ac.uk
![[email me]](../Pix/mailto.gif)
Last revision: 27th January 1997