Formal Modeling of Virtual Machines.

Armin B. Cremers Thomas N. Hibbard

Published in: IEEE Trans. Software Eng. (1978)

Keyphrases

virtual machine
operating system
distributed computing
data center
computing resources
low latency
real time
load balancing