|
| 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 |
| Belgium |
| Tel: 32 43 66 49 92 |
| Fax: 32 43 66 29 89 |
| E-mail: leonard@montefiore.ulg.ac.be |
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