External Links

    Journal: Distributed and Parallel Databases

    Volume 27, Issue 3

    211 -- 254Tri Minh Tran, Byung Suk Lee. Distributed stream join query processing with semijoins
    255 -- 270Farah Zoubeyr, Abdelkamel Tari, Aris M. Ouksel. Backward validation of communicating complex state machines in web services environments
    271 -- 343Ingo Weber, Jörg Hoffmann, Jan Mendling. Beyond soundness: on the verification of semantic business process models
    runs on