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]

Authors

Minas Charalambides

This author has not been identified. Look up 'Minas Charalambides' in Google

Peter Dinges

This author has not been identified. Look up 'Peter Dinges' in Google

Gul A. Agha

This author has not been identified. Look up 'Gul A. Agha' in Google