Safe Asynchronous Mixed-Choice for Timed Interactions.

Jonah Pears, Laura Bocchi, Andy King

Browse the full Coordination paper archive.