Bradley, Adam D.; Bestavros, Azer; Kfoury, Assaf J.
(Boston University Computer Science Department, 2002-05-22)
As new multi-party edge services are deployed on the Internet, application-layer protocols with complex communication models and event dependencies are increasingly being specified and adopted. To ensure that such protocols ...