Session Types for Orchestration Charts

Alessandro Fantechi, Elie Najm. Session Types for Orchestration Charts. In Doug Lea, Gianluigi Zavattaro, 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, Springer, 2008. [doi]

@inproceedings{FantechiN08,
  title = {Session Types for Orchestration Charts},
  author = {Alessandro Fantechi and Elie Najm},
  year = {2008},
  doi = {10.1007/978-3-540-68265-3_8},
  url = {http://dx.doi.org/10.1007/978-3-540-68265-3_8},
  researchr = {https://researchr.org/publication/FantechiN08},
  cites = {0},
  citedby = {0},
  pages = {117-134},
  booktitle = {Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
  editor = {Doug Lea and Gianluigi Zavattaro},
  volume = {5052},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-68264-6},
}