Massimo Bartoletti, Roberto Zunino. On the Decidability of Honesty and of Its Variants. In Thomas T. Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich, editors, Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. Volume 9421 of Lecture Notes in Computer Science, pages 143-166, Springer, 2015. [doi]
@inproceedings{BartolettiZ15,
title = {On the Decidability of Honesty and of Its Variants},
author = {Massimo Bartoletti and Roberto Zunino},
year = {2015},
doi = {10.1007/978-3-319-33612-1_9},
url = {http://dx.doi.org/10.1007/978-3-319-33612-1_9},
researchr = {https://researchr.org/publication/BartolettiZ15},
cites = {0},
citedby = {0},
pages = {143-166},
booktitle = {Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers},
editor = {Thomas T. Hildebrandt and António Ravara and Jan Martijn van der Werf and Matthias Weidlich},
volume = {9421},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-33611-4},
}