@inproceedings{PSI15,
  author        = {Gabriel Ciobanu and Ross Horne},
  title         = {Behavioural analysis of sessions using the calculus of structures},
  booktitle     = {In Perspectives of System Informatics, 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27},
  year          = {2015},
  editor        = {Mazzara, Manuel and Voronkov, Andrei},
  series        = {LNCS},
  volume        = {9609},
  pages         = {91-106},
  publisher     = {Springer},
  url           = {https://satoss.uni.lu/members/ross/pdf/sessions.pdf},
  doi           = {10.1007/978-3-319-41579-6_8}
}