E-LOTOS Core Language
Alan Jeffrey, Guy Leduc · ORBi (University of Liège) · 1996
This paper presents an integrated core data and behaviour language for the new LOTOS standard.It is not intended to be directly usable for specifications, but some additional syntax sugar can be defined to make it more usable and compatible with existing specifications.The language is first-order, monomorphic, strongly typed and allows subtyping.It supports concurrency, real-time, exception handling, pattern-matching and some imperative features.16 Expression pattern-matching 68 16.1 Overview . . . . . . .