Formal development of remote interfaces for large-scale real-time systems.

Walter Hussak, Shaun H. Yang

Browse the full SMC paper archive.