next up previous

Final Report of the COST-247 Action

On the Algebraic Study of ET-LOTOS

Abdelkader Dekdouk

BP 239 - F-54506
Vandoeuvre Cedex
Tel: +33 3 83 59 20 48


Our proposal deals with the algebraic study of a temporal extension of Basic LOTOS, and addresses in particular issues related to the definition of strong and weak bisimulation and the collection of equations associated with them. ET-LOTOS represents the basic model, for which we investigate the strong bisimulation and propose some equations to strengthen the collection given by Leduc and Leonard. We also define the observational equivalence which preserves choice, establish the condition for which it is a congruence and characterise this equivalence by a set of equations.

This presentation has been given during the COST-247 4th Management Committee Meeting (Berlin, Germany, February 9--10, 1995).

COST-247 Working Group(s): 1

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page