The Formal Description Technique LOTOS - results of the ESPRIT/SEDOS Project. PHJ van Eijk, CA Vissers, M Diaz.
The Formal Description Technique LOTOS - results of the ESPRIT/SEDOS Project
The Formal Description Technique LOTOS - results of the ESPRIT/SEDOS Project

The Formal Description Technique LOTOS - results of the ESPRIT/SEDOS Project.

North Holland, Elsevier Science Publishers, NY 1989; 451 pages, diagrams.

Condition: Very Good light gray hardcover, binding is sound and secure, pages clean.

Price: $10.00

Item Description

Contents include articles -- Introduction and Overview -- SEDOS Software environment for the design of open distributed systems (Diaz, Vissers, Ansart); LOTOS Backgrounds (Vissers); Introduction to the ISO Specification language LOTOS (Bolognesi and Brinksma)

Specification -- LOTOS language development and promotion in the SEDOS project (Quemada); A Constraint oriented specification of AI's NOde; Formal Description of the OSI Session layer; Formal description of the OSI Session layer -- transport service; Session service; Session protocol; a formal framework; Connectionless data link service;

Also Sections on Verification; Tools; more.