Ilham Alloui Flávio Oquendo Managing Consistency in Cooperating Software Processes. 92-99 1998 conf/ewspt/1998 EWSPT db/conf/ewspt/ewspt1998.html#AllouiO98