Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. Nicola, R. D., Iacobelli, G., & Tribastone, M. In Ábrahám, E. & 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.
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
{"_id":"2h2a8HM9KYNqqbHmk","bibbaseid":"nicola-iacobelli-tribastone-dimmingrelationsfortheefficientanalysisofconcurrentsystemsviaactionabstraction-2014","authorIDs":[],"author_short":["Nicola, R. D.","Iacobelli, G.","Tribastone, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["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":["Nicola, R. D.","Iacobelli, G.","Tribastone, M."],"editor_short":["Ábrahám, E.","Palamidessi, C."],"key":"DBLP:conf/forte/NicolaIT14","id":"DBLP:conf/forte/NicolaIT14","bibbaseid":"nicola-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","creationDate":"2020-08-07T16:49:57.571Z","downloads":0,"keywords":[],"search_terms":["dimming","relations","efficient","analysis","concurrent","systems","via","action","abstraction","nicola","iacobelli","tribastone"],"title":"Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction","year":2014,"dataSources":["FxajFA698pihqBfpX"]}