1. Communicating Sequential Processes.;Hoare,1985
2. Fault-tolerant matrix multiplication with one-iteration fault latency.;Hong,1991
3. Executable assertion development for the distributed parallel environment.;McMillin;Proc. 12th IEEE COMPSAC,1988
4. Analysis of Timeliness Requirements in Safety-Critical Systems.;de Lemos;Lecture Notes in Computer Science 571, Formal Techniques in Real-Time and Fault-Tolerant Systems,1992
5. Temporal logic for multilevel reasoning about hardware.;Moszkowski;The Computer Journal,1985