Show simple item record

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

dc.contributor.authorFernández Álvarez, Alberto Manuel 
dc.contributor.authorFernández Lanvin, Daniel 
dc.contributor.authorQuintela Pumares, Manuel 
dc.date.accessioned2018-11-27T08:03:19Z
dc.date.available2018-11-27T08:03:19Z
dc.date.issued2017
dc.identifier.isbn9781941763551
dc.identifier.urihttp://www.iiis.org/CDs2017/CD2017Spring/papers/ZA885WP.pdf
dc.identifier.urihttp://hdl.handle.net/10651/49201
dc.descriptionInternational Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings(IMCIC 2017) (8th. 2017)
dc.description.sponsorshipGRUPIN14-100, NPST, National Plan for Science, Technology and Innovation; EGU, European Geosciences Union; FEDER, European Regional Development Fund
dc.format.extentp. 241-246
dc.language.isoeng
dc.relation.ispartofIMCIC 2017 - 8th International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings
dc.rights©,
dc.sourceScopus
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85049045123&partnerID=40&md5=5d7127a80ee486bb26449b025133f1ba
dc.titleExtending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking
dc.typeinfo:eu-repo/semantics/conferenceObject
dc.type.dcmitext


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record