Communication based workflow loop formalization using Temporal Logic of Actions (TLA). - José Luis Caro; Antonio Guevara; Andrés Aguayo; José uis. Leiva (Computer Supported Acitivity Coordination, 2004)