Using LOTOS for specifying the chorus distributed operating system kernel

✍ Scribed by Charles Pecheur

• Publisher: Elsevier Science
• Year: 1992
• Tongue: English
• Weight: 946 KB
• Volume: 15
• Category: Article
• ISSN: 0140-3664
• DOI: 10.1016/0140-3664(92)90129-3