Lenz Belzner. Verifiable Decisions in Autonomous Concurrent Systems. In eva Kühn, Rosario Pugliese, editors, Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings. Volume 8459 of Lecture Notes in Computer Science, pages 17-32, Springer, 2014. [doi]
@inproceedings{Belzner14,
title = {Verifiable Decisions in Autonomous Concurrent Systems},
author = {Lenz Belzner},
year = {2014},
doi = {10.1007/978-3-662-43376-8_2},
url = {http://dx.doi.org/10.1007/978-3-662-43376-8_2},
researchr = {https://researchr.org/publication/Belzner14},
cites = {0},
citedby = {0},
pages = {17-32},
booktitle = {Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings},
editor = {eva Kühn and Rosario Pugliese},
volume = {8459},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-43375-1},
}