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