Asynchronous and deterministic objects (2004)

by D Caromel, L Henrio, B P Serpette
Venue:In POPL