Transacted Memory for Smart Cards
暂无分享,去创建一个
[1] Jeannette M. Wing,et al. Persistence+undoability=transactions , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.
[2] Gerard J. Holzmann,et al. Design and validation of computer protocols , 1991 .
[3] Gilles Grimaud,et al. Recoverable Persistent Memory for SmartCard , 1998, CARDIS.
[4] Pieter Hartel,et al. Towards testability in smart card operating system design , 1994 .
[5] Pieter H. Hartel,et al. Applying Formal Methods to the Design of Smart Card Software , 1997 .
[6] Peter Henderson,et al. Questions and Answers About Ten Formal Methods , 1999 .
[7] Philip A. Bernstein,et al. Principles of Transaction Processing , 1996 .
[8] Pieter H. Hartel,et al. The Operational Semantics of a Java Secure Processor , 1999, Formal Syntax and Semantics of Java.
[9] Denis Sabatier,et al. The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications , 2000, Formal Methods Syst. Des..
[10] Maurice Herlihy,et al. Transactional Memory: Architectural Support For Lock-free Data Structures , 1993, Proceedings of the 20th Annual International Symposium on Computer Architecture.