共 50 条
- [31] Looking for Efficient Implementations of Concurrent Objects PARALLEL COMPUTING TECHNOLOGIES, 2011, 6873 : 74 - 87
- [32] A Stochastic pi calculus for concurrent objects ALGEBRAIC BIOLOGY, PROCEEDINGS, 2007, 4545 : 232 - +
- [34] A Separation Logic for Refining Concurrent Objects POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 247 - 258
- [35] Highly concurrent distributed knowledge objects PROCEEDINGS OF THE SECOND USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS (COOTS), 1996, : 251 - 261
- [36] My Early Education and Concurrent Objects CONCURRENT OBJECTS AND BEYOND: PAPERS DEDICATED TO AKINORI YONEZAWA ON THE OCCASION OF HIS 65TH BIRTHDAY, 2014, 8665 : 1 - 17
- [37] Coqa: Concurrent objects with quantized atomicity COMPILER CONSTRUCTION, 2008, 4959 : 260 - 275
- [39] Concurrent updating of large spatial objects DATABASE SYSTEMS FOR ADVANCED APPLICATIONS, 2004, 2973 : 325 - 330
- [40] LINEARIZABILITY - A CORRECTNESS CONDITION FOR CONCURRENT OBJECTS ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (03): : 463 - 492