Frank Dederichs, Claus Dendorfer, Rainer Weber. FOCUS: A Formal Design Method for Distributed Systems. In Arndt Bode, Mario Dal Cin, editors, Parallel Computer Architectures: Theory, Hardware, Software, Applications. Volume 732 of Lecture Notes in Computer Science, pages 190-202, Springer, 1993.
Abstract is missing.