LOTOS NT User's Manual
- Important notice:
There are two slightly different versions of the LOTOS NT language: one is
supported by the TRAIAN compiler, the other is supported by the
LNT2LOTOS,
LNT.OPEN,
and LPP
tools of the CADP toolbox.
- If you are interested in compiler construction, please continue reading this page, which gives information on version of LOTOS NT supported by TRAIAN.
- If you are interested in concurrent systems, model checking, and the CADP toolbox, please look the other version of LOTOS NT described in this document.
- Bibliographic reference:
Mihaela Sighireanu
with updates by Alban Catry, David Champelovier, Hubert Garavel,
Frédéric Lang, Guillaume Schaeffer, Wendelin Serwe, and Jan Stöcker
LOTOS NT User's Manual (Version 2.8)
Technical Report INRIA Rhône-Alpes/VASY
February 2016, 109 pages.
- Download the manual:
- For more information:
Back to the VASY Home Page
