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",
}