Partial order trace analyzer (pota) for distributed programs (2003)

by A Sen, V K Garg
Venue:In Proceedings of the 3rd Workshop on Runtime Verification (RV03), Electronic Notes in Theoretical Computer Science