Extending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking

  1. Fernandez-Alvarez, A.-M.
  2. Fernandez-Lanvin, D.
  3. Quintela-Pumares, M.
Actas:
IMCIC 2017 - 8th International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings

ISBN: 9781941763551

Año de publicación: 2017

Volumen: 2017-March

Páginas: 241-246

Tipo: Aportación congreso