Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract).

Adrian Francalanza, Aldrin Seychell

Browse the full RV paper archive.