R. C. Sekar, Yow-Jian Lin, C. R. Ramakrishnan. Modelling techniques for evolving distributed applications. In Dieter Hogrefe, Stefan Leue, editors, Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. Volume 6 of IFIP Conference Proceedings, pages 461-476, Chapman & Hall, 1994.
Abstract is missing.