Colombo, Christian; Pace, Gordon J.; Abela, Patrick Safer asynchronous runtime monitoring using compensations. (English) Zbl 1284.68142 Form. Methods Syst. Des. 41, No. 3, 269-294 (2012). MSC: 68N19 68N30 68T20 PDFBibTeX XMLCite \textit{C. Colombo} et al., Form. Methods Syst. Des. 41, No. 3, 269--294 (2012; Zbl 1284.68142) Full Text: DOI
Pace, Gordon J.; Schneider, Gerardo Challenges in the specification of full contracts. (English) Zbl 1211.68251 Leuschel, Michael (ed.) et al., Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16–19, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00254-0/pbk). Lecture Notes in Computer Science 5423, 292-306 (2009). MSC: 68Q60 03B45 PDFBibTeX XMLCite \textit{G. J. Pace} and \textit{G. Schneider}, Lect. Notes Comput. Sci. 5423, 292--306 (2009; Zbl 1211.68251) Full Text: DOI Link