Distributed stream join query processing with semijoins Tri Minh TranByung Suk Lee OriginalPaper 06 March 2010 Pages: 211 - 254
Backward validation of communicating complex state machines in web services environments Farah ZoubeyrAbdelkamel TariAris M. Ouksel OriginalPaper 20 March 2010 Pages: 255 - 270
Beyond soundness: on the verification of semantic business process models Ingo WeberJörg HoffmannJan Mendling OriginalPaper 20 January 2010 Pages: 271 - 343