Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. De Nicola, R.; Iacobelli, G.; and Tribastone, M. In Ábrahám, E. and Palamidessi, C., editors, Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, volume 8461, of Lecture Notes in Computer Science, pages 216–231, 2014. Springer.
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/forte/NicolaIT14,
  author    = {Rocco {De Nicola} and
               Giulio Iacobelli and
               Mirco Tribastone},
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Catuscia Palamidessi},
  title     = {Dimming Relations for the Efficient Analysis of Concurrent Systems
               via Action Abstraction},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
               as Part of the 9th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8461},
  pages     = {216--231},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43613-4\_14},
  doi       = {10.1007/978-3-662-43613-4\_14},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/NicolaIT14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0