next up previous

Final Report of the COST-247 Action

The Belgian-Spanish ISO Proposal for a Timed LOTOS

Luc Leonard

Universite de Liege
Systemes et Automatique
Institut Montefiore, bat. B28
B4000 Liege
Tel: 32 43 66 49 92
Fax: 32 43 66 29 89


At the last ISO/SC21 meeting in Southampton (July 1994), two proposals for a timed extension of LOTOS were submitted, one from Belgium and one from Spain. It was decided to retain the Belgian proposal, with some syntactic features from the Spanish formalism, as basis for further study. Since then, a common proposal has been achieved and submitted to ISO. We will present it, paying a special attention to its semantics.

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