Computing Behavioral Distances, Compositionally

October 17, 2017 in by

by Giorgio Bacci, Giovani Bacci, Kim G. Larsen, Radu Mardare
Reference:
Giorgio Bacci, Giovani Bacci, Kim G. Larsen, Radu Mardare. Computing Behavioral Distances, Compositionally. In Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science (MFCS’13), pages 74-85. Volume 8087 of Lecture Notes in Computer Science. Springer, August 2013.
Bibtex Entry:
@string{aug="August"}
@inproceedings{mfcs2013-BBLM,
  address =       {Klosterneuburg, Austria},
  author =        {Bacci, Giorgio and Bacci, Giovani and Larsen, Kim G. and
                   Mardare, Radu},
  booktitle =     {{P}roceedings of the 38th {I}nternational {S}ymposium
                   on {M}athematical {F}oundations of {C}omputer
                   {S}cience ({MFCS}'13)},
  editor =        {Chatterjee, Krishnendu and Sgall, Ji{v r}{'i}},
  month =         aug,
  pages =         {74-85},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Computing Behavioral Distances, Compositionally},
  volume =        {8087},
  year =          {2013},
  doi =           {10.1007/978-3-642-40313-2_9},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BBLM-mfcs13.pdf},
  category =      {conf},
  wps =           {wp3},
  partners =      {AAU},
  casstingpart =  {10},
}