process networks / session protocols / coordinated process network / concurrent and distributed software / loop printing / individual systems / concurrent and distributed systems / done message network / session-based process systems / session type systems / bit process network / web service / realistic open process networks / proof search / realistic distributed systems / /
Organization
Cambridge University / Carnegie Mellon University / Chalmers University of Technology / /
Person
Nova de Lisboa / Frank Pfenning / Ai / K. Honda / V / /
Corecursion in Session-Typed Processes Bernardo Toninho∗† , Lu´ıs Caires∗ and Frank Pfenning† ∗ CITI and FCT - Universidade Nova de Lisboa † Carnegie Mellon University