Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue! Serge Abiteboul (INRIA & U. Paris 11) Zoë Abrams (INRIA & Stanford U.) Stefan.
Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!
