@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}
}

{"_id":{"_str":"537eb85d0e577e1d6b000725"},"__v":1,"authorIDs":["546e523eec3c47a518000e24","xMtf3sJqpfDS3bpdB"],"author_short":["De Nicola, R.","Iacobelli, G.","Tribastone, M."],"bibbaseid":"denicola-iacobelli-tribastone-dimmingrelationsfortheefficientanalysisofconcurrentsystemsviaactionabstraction-2014","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Rocco"],"propositions":[],"lastnames":["De Nicola"],"suffixes":[]},{"firstnames":["Giulio"],"propositions":[],"lastnames":["Iacobelli"],"suffixes":[]},{"firstnames":["Mirco"],"propositions":[],"lastnames":["Tribastone"],"suffixes":[]}],"editor":[{"firstnames":["Erika"],"propositions":[],"lastnames":["Ábrahám"],"suffixes":[]},{"firstnames":["Catuscia"],"propositions":[],"lastnames":["Palamidessi"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/forte/NicolaIT14,\n author = {Rocco {De Nicola} and\n Giulio Iacobelli and\n Mirco Tribastone},\n editor = {Erika {\\'{A}}brah{\\'{a}}m and\n Catuscia Palamidessi},\n title = {Dimming Relations for the Efficient Analysis of Concurrent Systems\n via Action Abstraction},\n booktitle = {Formal Techniques for Distributed Objects, Components, and Systems\n - 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held\n as Part of the 9th International Federated Conference on Distributed\n Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.\n Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8461},\n pages = {216--231},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-662-43613-4\\_14},\n doi = {10.1007/978-3-662-43613-4\\_14},\n timestamp = {Tue, 14 May 2019 10:00:50 +0200},\n biburl = {https://dblp.org/rec/conf/forte/NicolaIT14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["De Nicola, R.","Iacobelli, G.","Tribastone, M."],"editor_short":["Ábrahám, E.","Palamidessi, C."],"key":"DBLP:conf/forte/NicolaIT14","id":"DBLP:conf/forte/NicolaIT14","bibbaseid":"denicola-iacobelli-tribastone-dimmingrelationsfortheefficientanalysisofconcurrentsystemsviaactionabstraction-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-662-43613-4_14"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/RDNicola.bib","downloads":0,"keywords":[],"search_terms":["dimming","relations","efficient","analysis","concurrent","systems","via","action","abstraction","de nicola","iacobelli","tribastone"],"title":"Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction","year":2014,"dataSources":["FxajFA698pihqBfpX"]}