Achieving a Better Middleware Design through Formal Modeling and Analysis.

Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He

Browse the full SEKE paper archive.