A rely-guarantee discipline for open distributed systems design (2000)

by C H C Duarte, T Maibaum
Venue:Information Processing Letters, 74(1–2):55–63