Searching for "Using LOTOS for specifying the CHORUS distributed operating system kernel." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Using LOTOS for Specifying the CHORUS Distributed Operating System Kernel
by Charles Pecheur — 1992 — Computer Communications
…Using LOTOS for Specifying the CHORUS Distributed Operating System Kernel 1 Using LOTOS…
Cited by 5 (0 self) – Add To MetaCart

CHORUS Bibliography
by Tilly Bayard-Richard, Herrmann Bene — 1995
… of CHORUS Distributed Operating Systems" Gien, Michel, "Micro-kernel Architecture; Key to Modern Operating…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB