Paper Details:
Safe Compositional Specification of Networking Systems
[sod:ccr2004] Azer Bestavros and Adam D. Bradley and Assaf J. Kfoury and Ibrahim Matta, Safe Compositional Specification of Networking Systems, ACM Computer Communications Review (CCR), 2004, pp 21-33. [PDF]

