E-LOTOS(ID:7132/)

for Extended-LOTOS
Related languages
LOTOS => E-LOTOS   Evolution of
E-LOTOS => SVL   Based on
References:
  • Brinksma, E. On the Design of Extended LOTOS. PhD Thesis, Twente University (NL), 1988. view details
  • Juan Quemada, editor. Information Technology Enhancements to LOTOS (E-LOTOS). ISO/IEC FDIS 15437 ballot, May 2001 view details
  • Mihaela Sighireanu, "LOTOS NT User's Manual" INRIA projet VASY, November 2000. view details External link: Online copy ps
  • Mihaela Sighireanu, Xavier Bouchoux, Claude Chaudet, Hubert Garavel, Marc Herbert, Frederic Lang, and Bruno Vivien. TRAIAN: A Compiler for E-LOTOS/LOTOS NT Specifications, November 2000. view details External link: Online copy