Session Types for Orchestration Charts. Fantechi, A. & Najm, E. In Lea, D. & Zavattaro, G., editors, Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings, volume 5052, of Lecture Notes in Computer Science, pages 117–134, 2008. Springer.
Session Types for Orchestration Charts [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/coordination/FantechiN08,
    author = "Fantechi, Alessandro and Najm, Elie",
    editor = "Lea, Doug and Zavattaro, Gianluigi",
    title = "Session Types for Orchestration Charts",
    booktitle = "Coordination Models and Languages, 10th International Conference, {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "5052",
    pages = "117--134",
    publisher = "Springer",
    year = "2008",
    url = "https://doi.org/10.1007/978-3-540-68265-3\\_8",
    doi = "10.1007/978-3-540-68265-3\\_8",
    timestamp = "Tue, 14 May 2019 10:00:42 +0200",
    biburl = "https://dblp.org/rec/conf/coordination/FantechiN08.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

Downloads: 0