The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

December 17, 2017 in by

by Giorgio Bacci, Giovani Bacci, Kim G. Larsen, Radu Mardare
Reference:
Giorgio Bacci, Giovani Bacci, Kim G. Larsen, Radu Mardare. The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances. In Essays for the Luca Cardelli Fest, pages 15-26. Microsoft Research, September 2014.
Bibtex Entry:
@string{sep="September"}
@inproceedings{CF15-BBLM,
  address =       {Cambridge, UK},
  author =        {Bacci, Giorgio and Bacci, Giovani and Larsen, Kim G. and
                   Mardare, Radu},
  booktitle =     {Essays for the Luca Cardelli Fest},
  editor =        {Abadi, Mart{'i} and Gardner, Philippa and
                   Gordon, Andrew D. and Mardare, Radu},
  month =         sep,
  pages =         {15-26},
  publisher =     {Microsoft Research},
  title =         {The Behavior of Probabilistic Systems: From
                   Equivalences to Behavioral Distances},
  year =          {2014},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  CF15-BBLM.pdf},
  category =      {conf},
  wps =           {wp3},
  partners =      {AAU},
  casstingpart =  {50},
}