LOTOS NT User's Manual
- Important notice:
There are currently two related, yet different languages: LOTOS NT, which
is supported by the TRAIAN compiler, and LNT, which 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 LNT language 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 3.7)
Technical Report INRIA Rhône-Alpes
June 2022, 76 pages.
- Download the manual:
- For more information:
Back to the VASY Home Page
