Foundations of Coordination and Contracts and Their Contribution to Session Type Theory.

Mario Bravetti, Gianluigi Zavattaro

Browse the full Coordination paper archive.