Rapide: A Language and Toolset for Causal Event Modeling of Distributed System Architectures

David C. Luckham. Rapide: A Language and Toolset for Causal Event Modeling of Distributed System Architectures. In Yoshifumi Masunaga, Takuya Katayama, Michiharu Tsukamoto, editors, Worldwide Computing and Its Applications, International Conference, WWCA 98, Second International Conference, Tsukuba, Japan, March 4-5, 1998, Proceedings. Volume 1368 of Lecture Notes in Computer Science, pages 88-96, Springer, 1998.

Abstract

Abstract is missing.