Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems.

Armando Castaeda, Gilde Valeria Rodrguez

Browse the full PODC paper archive.