%0 Conference Proceedings
%A Huang, Xiaowei
%A Jiao, Li
%A Lu, Weiming
%D 2008
%T Weak Parametric Failure Equivalences and Their Congruence Formats
%E Harland, James
%E Manyem, Prabhu
%B Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)
%C Wollongong, NSW, Australia
%I ACS
%V 77
%P 15-26
%S CRPIT
%! Weak Parametric Failure Equivalences and Their Congruence Formats
%F CRPITV77-15-26
%Z abstract
%U http://crpit.com/confpapers/CRPITV77Huang.pdf