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.
Categories: 1980's computers and computing, Computer Science, Human-Computer Interaction, Programming and Programming Languages, Assembly and Machine Language, General Programming, Philosophy of Programming
See all items by PHJ van Eijk, CA Vissers, M Diaz
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.