On the Decidability of Honesty and of Its Variants

Lecture Notes in Computer Science - Web Services, Formal Methods, and Behavioral Types ◽

10.1007/978-3-319-33612-1_9 ◽

2016 ◽

pp. 143-166 ◽

Author(s):

Massimo Bartoletti ◽

Roberto Zunino

Download Full-text