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]
@inproceedings{TjangOMN06,
title = {A: an assertion language for distributed systems},
author = {Andrew Tjang and Fábio Oliveira and Richard P. Martin and Thu D. Nguyen},
year = {2006},
doi = {10.1145/1215995.1216003},
url = {http://doi.acm.org/10.1145/1215995.1216003},
researchr = {https://researchr.org/publication/TjangOMN06},
cites = {0},
citedby = {0},
pages = {8},
booktitle = {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},
editor = {Christian W. Probst},
publisher = {ACM},
isbn = {1-59593-577-0},
}