Xiaowei Huang, Li Jiao, Weiming Lu. Weak Parametric Failure Equivalences and Their Congruence Formats. In James Harland, Prabhu Manyem, editors, Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings. Volume 77 of CRPIT, pages 15-26, Australian Computer Society, 2008. [doi]
@inproceedings{HuangJL08,
title = {Weak Parametric Failure Equivalences and Their Congruence Formats},
author = {Xiaowei Huang and Li Jiao and Weiming Lu},
year = {2008},
url = {http://crpit.com/abstracts/CRPITV77Huang.html},
researchr = {https://researchr.org/publication/HuangJL08},
cites = {0},
citedby = {0},
pages = {15-26},
booktitle = {Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings},
editor = {James Harland and Prabhu Manyem},
volume = {77},
series = {CRPIT},
publisher = {Australian Computer Society},
isbn = {978-1-920682-58-3},
}