Publications dans lesquelles il/elle collabore avec Pedro Álvarez Pérez-Aradros (10)

2012

  1. Model Checking Analysis of Semantically Annotated Business Processes = Modelo Comprobación de Análisis de Procesos de Negocio anotados semánticamente

    IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans., Vol. 2, Núm. 42, pp. 854-867

2011

  1. Analyzing Behavioral Properties of Semantic Business Processes with Parametric Data

    Concurrency Computation Practice and Experience, Vol. 23, Núm. 6, pp. 525-555

  2. Control And Data Flow Compatibility In The Interaction Between Dynamic Business Processes

    Concurrency Computation Practice and Experience, Vol. 23, Núm. 1, pp. 57-85