Listar Artículos (Lenguajes y Sistemas Informáticos) por materia 

ListarArtículos (Lenguajes y Sistemas Informáticos) por materia "Fairness"

Mostrando ítems 1-2 de 2

    • Artículo
      Icon

      Fairness in systems based on multiparty interactions 

      Ruiz Cortés, David; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (John Wiley and Sons, 2003)
      In the context of the Multiparty Interaction Model, fairness is used to insure that an interaction that is enabled ...
    • Artículo
      Icon

      Generating non-conspiratorial executions 

      Ruiz Cortés, David; Corchuelo Gil, Rafael; Arjona Fernández, José Luis (Elsevier, 2007)
      Avoiding conspiratorial executions is useful for debugging, model checking or refinement, and helps implement several ...