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.
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
{"_id":"YHkQuu4mtjsxW3EXN","bibbaseid":"fantechi-najm-sessiontypesfororchestrationcharts-2008","author_short":["Fantechi, A.","Najm, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Najm"],"firstnames":["Elie"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Lea"],"firstnames":["Doug"],"suffixes":[]},{"propositions":[],"lastnames":["Zavattaro"],"firstnames":["Gianluigi"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/coordination/FantechiN08,\n author = \"Fantechi, Alessandro and Najm, Elie\",\n editor = \"Lea, Doug and Zavattaro, Gianluigi\",\n title = \"Session Types for Orchestration Charts\",\n booktitle = \"Coordination Models and Languages, 10th International Conference, {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"5052\",\n pages = \"117--134\",\n publisher = \"Springer\",\n year = \"2008\",\n url = \"https://doi.org/10.1007/978-3-540-68265-3\\\\_8\",\n doi = \"10.1007/978-3-540-68265-3\\\\_8\",\n timestamp = \"Tue, 14 May 2019 10:00:42 +0200\",\n biburl = \"https://dblp.org/rec/conf/coordination/FantechiN08.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Fantechi, A.","Najm, E."],"editor_short":["Lea, D.","Zavattaro, G."],"key":"DBLP:conf/coordination/FantechiN08","id":"DBLP:conf/coordination/FantechiN08","bibbaseid":"fantechi-najm-sessiontypesfororchestrationcharts-2008","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-68265-3\\\\_8"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","dataSources":["PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"],"keywords":[],"search_terms":["session","types","orchestration","charts","fantechi","najm"],"title":"Session Types for Orchestration Charts","year":2008}