André Postma Thijs Krol Interactive Consistency in Quasi-Asynchronous Systems. 2-9 1996 conf/iceccs/1996 ICECCS http://csdl.computer.org/comp/proceedings/iceccs/1996/7614/00/76140002abs.htm db/conf/iceccs/iceccs1996.html#PostmaK96