共 50 条
- [1] Verifiable Object-Oriented Transactions CONCURRENT OBJECTS AND BEYOND: PAPERS DEDICATED TO AKINORI YONEZAWA ON THE OCCASION OF HIS 65TH BIRTHDAY, 2014, 8665 : 251 - 275
- [2] Object Comparison in Fuzzy Object-Oriented Databases 2009 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING AND INTELLIGENT SYSTEMS, PROCEEDINGS, VOL 3, 2009, : 672 - 675
- [3] A Refinement Methodology for Object-Oriented Programs FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 153 - +
- [8] A Programming Model for Concurrent Object-Oriented Programs ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 31 (01):