|Final Report of the COST-247 Action|
A failures semantics for timed LOTOS
|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
This Page was prepared by Mark Jorgensen.