Sylvain HallĂ©. Cooperative Runtime Monitoring of LTL Interface Contracts. In Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2010, Vitória, Brazil, 25-29 October 2010. pages 227-236, IEEE Computer Society, 2010. [doi]
Abstract is missing.