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]
Abstract is missing.