Extending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking
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