Parameterized concurrent multi-party session types
By Minas Charalambides, Peter Dinges, and Gul Agha. In FOCLASA, volume 91 of Electronic Proceedings in Theoretical Computer Science, 16–30. Open Publishing Association, 2012.
- DOI:
- 10.4204/EPTCS.91.2
- Publisher Link:
- http://dx.doi.org/10.4204/EPTCS.91.2
BibTeX
@inproceedings{journals/corr/abs-1208-4632, author = "Charalambides, Minas and Dinges, Peter and Agha, Gul", editor = "Kokash, Natallia and Ravara, António", title = "Parameterized Concurrent Multi-Party Session Types", booktitle = "FOCLASA", crossref = "journals/corr/abs-1208-4327", doi = "10.4204/EPTCS.91.2", ee = "http://dx.doi.org/10.4204/EPTCS.91.2", pages = "16-30", publisher = "Open Publishing Association", series = "Electronic Proceedings in Theoretical Computer Science", volume = "91", year = "2012", } @proceedings{journals/corr/abs-1208-4327, editor = "Kokash, Natallia and Ravara, António", title = "Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012", ee = "http://dx.doi.org/10.4204/EPTCS.91", series = "EPTCS", volume = "91", year = "2012", }