An axiomatic approach to metareasoning on systems (0)

by Furio Honsell, Marino Miculan, Ivan Scagnetto
Venue:in HOAS, Proceedings of ICALP’O1