Accommodating interference in the formal design of concurrent object-based programs (1996)

Cached

Download Links

by C. B. Jones
Venue:Formal Methods in System Design, 8(2):105–122
Citations:39 - 15 self