Timothy N. Wright, T. C. Nicholas Graham, Tore Urnes. Specifying Temporal Behaviour in Software Architectures for Groupware Systems. In Philippe A. Palanque, Fabio PaternĂ², editors, Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings. Volume 1946 of Lecture Notes in Computer Science, pages 1-17, Springer, 2000. [doi]
Abstract is missing.