Communication based workflow loop formalization using Temporal Logic of Actions (TLA).

José Luis Caro Antonio Guevara Andrés Aguayo José L. Leiva Communication based workflow loop formalization using Temporal Logic of Actions (TLA). 233-238 2004 conf/csac/2004 Computer Supported Acitivity Coordination db/conf/csac/csac2004.html#CaroGAL04