Compositional metric reasoning with probabilistic process calculi

October 15, 2017 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},
}