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