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.
Proceedings:
IMCIC 2017 - 8th International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings

ISBN: 9781941763551

Year of publication: 2017

Volume: 2017-March

Pages: 241-246

Type: Conference paper