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 ...
Read More
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.
Read Less
Add this copy of The Formal Description Technique Lotos: Results of the to cart. $3.44, Sold by Zubal Books rated 4.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1989 by North-Holland.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
451 pp., hardcover, ex library, else text and binding clean and tight. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of The Formal Description Technique Lotos: Results of the to cart. $43.38, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1988 by North Holland.
