共 50 条
- [31] A design-based model of reversible computation UNIFYING THEORIES OF PROGRAMMING, 2006, 4010 : 63 - 83
- [40] Model-based design and analysis of permission-based security ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 224 - 233