Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He. Achieving a Better Middleware Design through Formal Modeling and Analysis. In Kang Zhang, George Spanoudakis, Giuseppe Visaggio, editors, Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2006), San Francisco, CA, USA, July 5-7, 2006. pages 463-468, 2006.
Abstract is missing.