Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction.

Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone

Browse the full ECOOP paper archive.