Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O Farrell. Property Patterns for Runtime Monitoring of Web Service Conversations. In Martin Leucker, editor, Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Volume 5289 of Lecture Notes in Computer Science, pages 137-157, Springer, 2008. [doi]
Abstract is missing.