Corecursion and Non-divergence in Session-Typed Processes

@inproceedings{Toninho2014CorecursionAN,
  title={Corecursion and Non-divergence in Session-Typed Processes},
  author={Bernardo Toninho and Lu{\'i}s Caires and Frank Pfenning},
  booktitle={TGC},
  year={2014}
}
Highly Cited
This paper has 22 citations. REVIEW CITATIONS