A: an assertion language for distributed systems.

Andrew Tjang, Fbio Oliveira, Richard P. Martin, Thu D. Nguyen

Browse the full ASPLOS paper archive.