@inproceedings{DBLP:conf/fossacs/KoutavasSH14,
  author    = {Vasileios Koutavas and
               Carlo Spaccasassi and
               Matthew Hennessy},
  editor    = {Anca Muscholl},
  title     = {Bisimulations for Communicating Transactions - (Extended Abstract)},
  booktitle = {Foundations of Software Science and Computation Structures - 17th
               International Conference, {FOSSACS} 2014, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
               Grenoble, France, April 5-13, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8412},
  pages     = {320--334},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54830-7_21},
  doi       = {10.1007/978-3-642-54830-7_21},
  timestamp = {Tue, 23 May 2017 01:08:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fossacs/KoutavasSH14},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  urlAuthors_pdf = {ctbisim-fossacs14.pdf},
  urlAppendix = {ctbisim-appendix.pdf}
}

{"_id":"3wbQTm7bvD7nYKjQv","bibbaseid":"koutavas-spaccasassi-hennessy-bisimulationsforcommunicatingtransactionsextendedabstract-2014","downloads":3,"creationDate":"2018-01-12T13:55:33.972Z","title":"Bisimulations for Communicating Transactions - (Extended Abstract)","author_short":["Koutavas, V.","Spaccasassi, C.","Hennessy, M."],"year":2014,"bibtype":"inproceedings","biburl":"https://www.scss.tcd.ie/Vasileios.Koutavas/publications/Koutavas_Vasileios.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vasileios"],"propositions":[],"lastnames":["Koutavas"],"suffixes":[]},{"firstnames":["Carlo"],"propositions":[],"lastnames":["Spaccasassi"],"suffixes":[]},{"firstnames":["Matthew"],"propositions":[],"lastnames":["Hennessy"],"suffixes":[]}],"editor":[{"firstnames":["Anca"],"propositions":[],"lastnames":["Muscholl"],"suffixes":[]}],"title":"Bisimulations for Communicating Transactions - (Extended Abstract)","booktitle":"Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings","series":"Lecture Notes in Computer Science","volume":"8412","pages":"320–334","publisher":"Springer","year":"2014","url":"https://doi.org/10.1007/978-3-642-54830-7_21","doi":"10.1007/978-3-642-54830-7_21","timestamp":"Tue, 23 May 2017 01:08:04 +0200","biburl":"http://dblp.org/rec/bib/conf/fossacs/KoutavasSH14","bibsource":"dblp computer science bibliography, http://dblp.org","urlauthors_pdf":"ctbisim-fossacs14.pdf","urlappendix":"ctbisim-appendix.pdf","bibtex":"@inproceedings{DBLP:conf/fossacs/KoutavasSH14,\n author = {Vasileios Koutavas and\n Carlo Spaccasassi and\n Matthew Hennessy},\n editor = {Anca Muscholl},\n title = {Bisimulations for Communicating Transactions - (Extended Abstract)},\n booktitle = {Foundations of Software Science and Computation Structures - 17th\n International Conference, {FOSSACS} 2014, Held as Part of the European\n Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,\n Grenoble, France, April 5-13, 2014, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8412},\n pages = {320--334},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-642-54830-7_21},\n doi = {10.1007/978-3-642-54830-7_21},\n timestamp = {Tue, 23 May 2017 01:08:04 +0200},\n biburl = {http://dblp.org/rec/bib/conf/fossacs/KoutavasSH14},\n bibsource = {dblp computer science bibliography, http://dblp.org},\n urlAuthors_pdf = {ctbisim-fossacs14.pdf},\n urlAppendix = {ctbisim-appendix.pdf}\n}\n\n","author_short":["Koutavas, V.","Spaccasassi, C.","Hennessy, M."],"editor_short":["Muscholl, A."],"key":"DBLP:conf/fossacs/KoutavasSH14","id":"DBLP:conf/fossacs/KoutavasSH14","bibbaseid":"koutavas-spaccasassi-hennessy-bisimulationsforcommunicatingtransactionsextendedabstract-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-54830-7_21","Authors pdf":"https://www.scss.tcd.ie/Vasileios.Koutavas/publications/ctbisim-fossacs14.pdf","Appendix":"https://www.scss.tcd.ie/Vasileios.Koutavas/publications/ctbisim-appendix.pdf"},"metadata":{"authorlinks":{"koutavas, v":"https://www.scss.tcd.ie/Vasileios.Koutavas/publications/index.html"}},"downloads":3,"html":""},"search_terms":["bisimulations","communicating","transactions","extended","abstract","koutavas","spaccasassi","hennessy"],"keywords":[],"authorIDs":["fAE5veAPfvdM7zwoC"],"dataSources":["4g7dRdtf79M7CFSWQ"]}