Search Results
-
Extending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking [2017]
- Category:
- Ponencias
- Authors:
- Manuel Quintela Pumares , Daniel Fernández Lanvin , Alberto Manuel Fernández Álvarez
- Date:
- 01 of January of 2017
- It Is a Part of:
- IMCIC 2017 - 8th International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings