Using LOTOS for specifying the CHORUS distributed operating system kernel.

Charles Pecheur

Published in: Comput. Commun. (1992)

Keyphrases

operating system
distributed systems
computer systems
virtual machine
microsoft windows
distributed environment
computer networks
memory management
windows xp
fault tolerant
databases
multi threaded
virtual memory
operating environment
interprocess communication
data processing
mobile agents
command line