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.13)
Technical Report INRIA Grenoble Rhône-Alpes
MArch 2024, 88 pages.
- Download the manual:
- For more information:
Back to the VASY Home Page