共 50 条
- [41] Safe concurrency for aggregate objects with invariants SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 137 - 146
- [43] MPJ Express: Towards thread safe Java']Java HPC 2006 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, VOLS 1 AND 2, 2006, : 489 - +
- [46] OBJECT FOR OBJECTS SAKE + PRIMITIVE DECORATIVE ART AND JEWELRY CONNAISSANCE DES ARTS, 1994, (509): : 96 - 105
- [47] An extended theory of primitive objects: First order system ECOOP'97: OBJECT-ORIENTED PROGRAMMING, 1997, 1241 : 146 - 169
- [48] Least Primitive Root of any Safe Prime is Prime AMERICAN MATHEMATICAL MONTHLY, 2022, 129 (10): : 971 - 971
- [49] Learned Regions of Attraction for Safe Motion Primitive Transitions 2024 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, IROS 2024, 2024, : 3643 - 3650
- [50] Safe query objects: Statically typed objects as remotely executable queries ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2005, : 97 - 106