Presentation du langage LOTOS

Hubert Garavel

Compilation et vérification de programmes LOTOS, Thèse de Doctorat, Université Joseph Fourier (Grenoble), November 1989

part of thesis (appendices A and B of [Garavel-89-b]) An introduction to the data and control structures of LOTOS

38 pages, in French

PDF

PostScript