Parameterized, concurrent session types for asynchronous multi-actor interactions

Minas Charalambides, Peter Dinges, Gul A. Agha. Parameterized, concurrent session types for asynchronous multi-actor interactions. Science of Computer Programming, 115:100-126, 2016. [doi]

Abstract

Abstract is missing.