2004 |
3 | | José Luis Caro,
Antonio Guevara,
Andrés Aguayo,
José L. Leiva:
Communication based workflow loop formalization using Temporal Logic of Actions (TLA).
Computer Supported Acitivity Coordination 2004: 233-238 |
2003 |
2 | | José Luis Caro,
Antonio Guevara,
Sergio Gálvez,
Antonio Carrillo,
Andrés Aguayo:
A Temporal Reasoning Approach of Communication Based Workflow Modelling.
ICEIS (3) 2003: 245-250 |
1999 |
1 | EE | Sergio Gálvez,
Antonio Guevara,
Andrés Aguayo,
José Luis Caro:
Forms Management System.
ADBIS (Short Papers) 1999: 171-177 |