Corecursion and Non-divergence in Session-Typed Processes

Bernardo Toninho, Luis Caires, Frank Pfenning,

Publisher	Springer Verlag
Series	Lecture Notes in Computer Science
Volume	8902
ISBN	978-3-662-45916-4
Publisher	Springer Verlag
Series	Lecture Notes in Computer Science
Volume	8902
ISBN	978-3-662-45916-4

Publication