Diagnosis of asynchronous discrete event systems: datalog to the rescue!

Serge Abiteboul, Zo Abrams, Stefan Haar, Tova Milo

Browse the full PODS paper archive.