Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou. Analysing the behaviour of distributed software architectures: a case study. In 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 97), 29-31 October 1997, Tunis, Tunisia, Proceedings. pages 240-247, IEEE Computer Society, 1997. [doi]
Abstract is missing.