๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Use of LOTOS in the formal development of an OSI protocol

โœ Scribed by Robert G Clark; Valerie M Jones

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
670 KB
Volume
15
Category
Article
ISSN
0140-3664

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Development of an atomic-broadcast proto
Development of an atomic-broadcast protocol using LOTOS
โœ Perry R. James; Markus Endler; Marie-Claude Gaudel ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 146 KB

In this article we report on the development of a group-communication service using the formal specification language LOTOS, and present our experience in using publicly available tools for this purpose. The service implements atomic broadcast through a Two-Phase-Commit protocol, providing at-least-