A: an assertion language for distributed systems

Andrew Tjang, Fábio Oliveira, Richard P. Martin, Thu D. Nguyen. A: an assertion language for distributed systems. In Christian W. Probst, editor, Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006. pages 8, ACM, 2006. [doi]

Authors

Andrew Tjang

This author has not been identified. Look up 'Andrew Tjang' in Google

Fábio Oliveira

This author has not been identified. Look up 'Fábio Oliveira' in Google

Richard P. Martin

This author has not been identified. Look up 'Richard P. Martin' in Google

Thu D. Nguyen

This author has not been identified. Look up 'Thu D. Nguyen' in Google