Compositional metric reasoning with probabilistic process calculi

July 9, 2018 in by

by Daniel Gebler, Kim G. Larsen, Simone Tini
Reference:
Daniel Gebler, Kim G. Larsen, Simone Tini. Compositional metric reasoning with probabilistic process calculi. In Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS’15), pages 230-245. Volume 9034 of Lecture Notes in Computer Science. Springer, April 2015.
Bibtex Entry:
@string{apr="April"}
@inproceedings{fossacs2015-GLT,
  address =       {London, UK},
  author =        {Gebler, Daniel and Larsen, Kim G. and Tini, Simone},
  booktitle =     {{P}roceedings of the 18th {I}nternational
                   {C}onference on {F}oundations of {S}oftware {S}cience
                   and {C}omputation {S}tructures ({FoSSaCS}'15)},
  editor =        {Pitts, Andrew},
  month =         apr,
  pages =         {230-245},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Compositional metric reasoning with probabilistic
                   process calculi},
  volume =        {9034},
  year =          {2015},
  doi =           {10.1007/978-3-662-46678-0_15},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  GLT-fossacs15.pdf},
  category =      {conf},
  wps =           {wp3},
  partners =      {AAU},
  casstingpart =  {50},
}