Asynchronous Global Types in Co-logic Programming.

Riccardo Bianchini, Francesco Dagnino

Browse the full Coordination paper archive.