Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract). - Adrian Francalanza; Aldrin Seychell (RV, 2013)

Synthesising correct concurrent runtime monitors. - Adrian Francalanza; Aldrin Seychell (Formal Methods Syst. Des., 2015)