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

ISBN: 9781941763551

Datum der Publikation: 2017

Ausgabe: 2017-March

Seiten: 241-246

Art: Konferenz-Beitrag

GOOGLE SCHOLAR
Datenquelle: Scopus