José uis. Leiva

According to our database, José uis. Leiva authored at least 1 paper in 2004.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2004

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

José Luis Caro, Antonio Guevara, Andrés Aguayo, José uis. Leiva

Proceedings of the Computer Supported Activity Coordination, 2004