The Formal Description Technique LOTOS: Results of the ESPRIT SEDOS Project

Nav:Home > Computers & Technology > Networking & Cloud Computing > The Formal Description Technique LOTOS: Results of the ESPRIT SEDOS Project

Press: North Holland (December 15, 1988)
ISBN:9780444872678
Author Name:Peter H.J.Van Eijk
Language:English

Content

The SEDOS (Software Environment for the Design of Open Distributed Systems) project was supported by the Commission of the European Communities under the ESPRIT Programme. 
It was divided into two main tasks, related respectively to the two ISO formal description techniques Estelle and LOTOS, which became international standards in September 1988.This book presents the work related to LOTOS.
It includes a tutorial on LOTOS, a number of specifications, in particular a specification of the OSI session layer.
Results in verification theory and descriptions of supporting software tools are given.

Tags

Computers & Technology,Networking & Cloud Computing,Data in the Enterprise,Client-Server Systems,Hardware & DIY,Design & Architecture,Software



 PDF Download And Online Read: The Formal Description Technique LOTOS: Results of the ESPRIT SEDOS Project



Comment

 
 

 

Legal Theory & Systems,Cooking Methods,Physics,Dentistry,Other Team Sports,Infantil y juvenil,Cars, Trains & Things That Go,Christian Denominations & Sects Book,。 FreeBook 

FreeBook @ 2017