@inproceedings{conf/lics/BonchiSV19,
  added-at = {2021-10-14T00:00:00.000+0200},
  author = {Bonchi, Filippo and Sokolova, Ana and Vignudelli, Valeria},
  biburl = {https://www.bibsonomy.org/bibtex/2b8059b52d45b920a54763d6a2102c724/dblp},
  booktitle = {LICS},
  crossref = {conf/lics/2019},
  ee = {https://doi.org/10.1109/LICS.2019.8785673},
  interhash = {c4a5388c4c7a95289f4e85420534f19b},
  intrahash = {b8059b52d45b920a54763d6a2102c724},
  isbn = {978-1-7281-3608-0},
  keywords = {dblp},
  pages = {1-14},
  publisher = {IEEE},
  timestamp = {2024-04-10T20:03:44.000+0200},
  title = {The Theory of Traces for Systems with Nondeterminism and Probability.},
  url = {http://dblp.uni-trier.de/db/conf/lics/lics2019.html#BonchiSV19},
  year = 2019
}

{"_id":"vQiW2DGt5gNsyS5rQ","bibbaseid":"bonchi-sokolova-vignudelli-thetheoryoftracesforsystemswithnondeterminismandprobability-2019","author_short":["Bonchi, F.","Sokolova, A.","Vignudelli, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2021-10-14T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Bonchi"],"firstnames":["Filippo"],"suffixes":[]},{"propositions":[],"lastnames":["Sokolova"],"firstnames":["Ana"],"suffixes":[]},{"propositions":[],"lastnames":["Vignudelli"],"firstnames":["Valeria"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2b8059b52d45b920a54763d6a2102c724/dblp","booktitle":"LICS","crossref":"conf/lics/2019","ee":"https://doi.org/10.1109/LICS.2019.8785673","interhash":"c4a5388c4c7a95289f4e85420534f19b","intrahash":"b8059b52d45b920a54763d6a2102c724","isbn":"978-1-7281-3608-0","keywords":"dblp","pages":"1-14","publisher":"IEEE","timestamp":"2024-04-10T20:03:44.000+0200","title":"The Theory of Traces for Systems with Nondeterminism and Probability.","url":"http://dblp.uni-trier.de/db/conf/lics/lics2019.html#BonchiSV19","year":"2019","bibtex":"@inproceedings{conf/lics/BonchiSV19,\n added-at = {2021-10-14T00:00:00.000+0200},\n author = {Bonchi, Filippo and Sokolova, Ana and Vignudelli, Valeria},\n biburl = {https://www.bibsonomy.org/bibtex/2b8059b52d45b920a54763d6a2102c724/dblp},\n booktitle = {LICS},\n crossref = {conf/lics/2019},\n ee = {https://doi.org/10.1109/LICS.2019.8785673},\n interhash = {c4a5388c4c7a95289f4e85420534f19b},\n intrahash = {b8059b52d45b920a54763d6a2102c724},\n isbn = {978-1-7281-3608-0},\n keywords = {dblp},\n pages = {1-14},\n publisher = {IEEE},\n timestamp = {2024-04-10T20:03:44.000+0200},\n title = {The Theory of Traces for Systems with Nondeterminism and Probability.},\n url = {http://dblp.uni-trier.de/db/conf/lics/lics2019.html#BonchiSV19},\n year = 2019\n}\n\n","author_short":["Bonchi, F.","Sokolova, A.","Vignudelli, V."],"key":"conf/lics/BonchiSV19","id":"conf/lics/BonchiSV19","bibbaseid":"bonchi-sokolova-vignudelli-thetheoryoftracesforsystemswithnondeterminismandprobability-2019","role":"author","urls":{"Link":"https://doi.org/10.1109/LICS.2019.8785673","Paper":"http://dblp.uni-trier.de/db/conf/lics/lics2019.html#BonchiSV19"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Sokolova?items=1000","dataSources":["YGSCFyGmyG7sp5685"],"keywords":["dblp"],"search_terms":["theory","traces","systems","nondeterminism","probability","bonchi","sokolova","vignudelli"],"title":"The Theory of Traces for Systems with Nondeterminism and Probability.","year":2019}