Communication based workflow loop formalization using Temporal Logic of Actions (TLA) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

José Luis Caro, Antonio Guevara, Andrés Aguayo, José L. Leiva. Communication based workflow loop formalization using Temporal Logic of Actions (TLA). In José Cordeiro, Joaquim Filipe, editors, Computer Supported Activity Coordination, Proceedings of the 1st International Workshop on Computer Supported Activity Coordination, CSAC 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004. pages 233-238, INSTICC Press, 2004.

This author has not been identified. Look up 'José Luis Caro' in GoogleThis author has not been identified. Look up 'Antonio Guevara' in GoogleThis author has not been identified. Look up 'Andrés Aguayo' in GoogleThis author has not been identified. Look up 'José L. Leiva' in Google

runs on WebDSL