next up previous

Final Report of the COST-247 Action

A failures semantics for timed LOTOS

Steve Schneider

Royal Holloway, University of London
Egham, Surrey, TW20 0EX, UK
tel: +44 1784 443431
fax: +44 1784 439786


Timed CSP has a denotational semantics in terms of timed failures. In this talk we investigate how this approach to semantics may be applied to a timed version of LOTOS, while remaining consistent with its operational semantics. It turns out that timed failures alone are not adequate, and that an additional component is required in the semantics in order to deal with operators that are sensitive to internal actions. The resulting denotational semantics is shown to be the weakest congruence stronger than trace equivalence. We also discuss the relationship with other approaches to timed LOTOS.

This presentation has been given during the COST-247 WG1 Special Workshop on Extended Process Algebras (Brighton, United Kingdom, July 19--20, 1994).

COST-247 Working Group(s): 1

Web Links:

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page