VerChor: A Framework for Verifying Choreographies

Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont. VerChor: A Framework for Verifying Choreographies. In Vittorio Cortellessa, Dániel Varró, editors, Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Volume 7793 of Lecture Notes in Computer Science, pages 226-230, Springer, 2013. [doi]

@inproceedings{GudemannPSD13,
  title = {VerChor: A Framework for Verifying Choreographies},
  author = {Matthias Güdemann and Pascal Poizat and Gwen Salaün and Alexandre Dumont},
  year = {2013},
  doi = {10.1007/978-3-642-37057-1_16},
  url = {http://dx.doi.org/10.1007/978-3-642-37057-1_16},
  researchr = {https://researchr.org/publication/GudemannPSD13},
  cites = {0},
  citedby = {0},
  pages = {226-230},
  booktitle = {Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings},
  editor = {Vittorio Cortellessa and Dániel Varró},
  volume = {7793},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-37056-4},
}