Parameterized, concurrent session types for asynchronous multi-actor interactions
By Minas Charalambides, Peter Dinges, and Gul Agha. Science of Computer Programming, November 2015.
- Full Text:
- Download PDF
BibTeX
@article{journals/scp/CharalambidesDA2015, author = "Charalambides, Minas and Dinges, Peter and Agha, Gul", title = "Parameterized, Concurrent Session Types for Asynchronous Multi-Actor Interactions", institution = "University of Illinois at Urbana--Champaign", journal = "Science of Computer Programming", month = "November", year = "2015", }