Manifest Deadlock-Freedom for Shared Session Types.

Stephanie Balzer, Bernardo Toninho, Frank Pfenning

Browse the full ESOP paper archive.