Paper Info
Title
Using LOTOS for specifying the CHORUS distributed operating system kernel
Abstract
The goal of the work presented in this paper was to test the adequacy of LOTOS for the specification of operating systems, by specifying the basic structures and functionalities of the distributed operating system chorus V3. The paper focuses on discussing the issues encountered during the development of the specification, rather than on the specification itself. Three successive approaches based on different specification styles are presented and discussed. A difficulty related to the specification of processing systems is analysed.
Year
DOI
Venue
1992
10.1016/0140-3664(92)90129-3
Computer Communications
Keywords
DocType
Volume
distributed operating systems,formal description techniques,specification languages,LOTOS,chorus,processing systems
Journal
15
Issue
ISSN
Citations 
2
Computer Communications
3
PageRank 
References 
Authors
0.64
2
1
Name
Order
Citations
PageRank
Charles Pecheur128428.50