Asynchronous and deterministic objects.

Denis Caromel, Ludovic Henrio, Bernard P. Serpette

Browse the full POPL paper archive.