Monitoring Distributed Systems Based on Partial Order Executions with Global States.

Moran Omer, Doron Peled, Ely Porat, Vijay K. Garg

Browse the full RV paper archive.