共 50 条
- [41] Design patterns for concurrent and distributed objects TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 361 - 361
- [43] Progress of Concurrent Objects with Partial Methods PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
- [44] Looking for Efficient Implementations of Concurrent Objects PARALLEL COMPUTING TECHNOLOGIES, 2011, 6873 : 74 - 87
- [45] A Stochastic pi calculus for concurrent objects ALGEBRAIC BIOLOGY, PROCEEDINGS, 2007, 4545 : 232 - +
- [47] 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
- [48] Highly concurrent distributed knowledge objects PROCEEDINGS OF THE SECOND USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS (COOTS), 1996, : 251 - 261
- [49] 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
- [50] Coqa: Concurrent objects with quantized atomicity COMPILER CONSTRUCTION, 2008, 4959 : 260 - 275