Corecursion and Non-divergence in Session-Typed Processes

Authors

Bernardo Toninho, Luis Caires, Frank Pfenning,