A Rely-guarantee Discipline for Open Distributed Systems Design (1999)

Cached

Download Links

by Carlos H. C. Duarte , Tom Maibaum
Venue:Information Processing Letters
Citations:5 - 2 self