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]
No references recorded for this publication.
No citations of this publication recorded.