Transacted memory for smart cards

DOI10.1007/3-540-45251-6_28MaRDI QIDQ2763998zbMATH OpenFDO

Authors Pieter Hartel, Michael J. Butler, Eduard de Jong, Mark Longley

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2021/20210478, https://research.utwente.nl/en/publications/transacted-memory-for-smart-cards(a9fb0b5b-69de-4a79-a4dc-0f1feb19fd05).html

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68U99)

Recommendations

• Towards formally specifying and verifying transactional memory
• Transactional Memory: Glimmer of a Theory
• Perspectives on Transactional Memory
• Transactional memory
• scientific article; zbMATH DE number 7075928

This page was built for publication: Transacted memory for smart cards

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763998)