next up previous

Final Report of the COST-247 Action

Thoughts on the future of algebraic types in LOTOS

Muffy Thomas

University of Glasgow
Dept. of Computer Science
UK-G12 8QQ Glasgow
United Kingdom
Tel: +44 141 330 4969


This talk discusses some of the requirements for a data type language in LOTOS, how ACT ONE meets them, and how other languages and constructs might better fulfill them.

This presentation has been given during the COST-247 3rd Management Committee Meeting (Evry, France, September 19--20, 1994).

COST-247 Working Group(s): 1-2

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page