共 50 条
- [32] Safe concurrency for aggregate objects with invariants SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 137 - 146
- [33] Human Control of Dynamically Complex Objects 2012 4TH IEEE RAS & EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL ROBOTICS AND BIOMECHATRONICS (BIOROB), 2012, : 1235 - 1240
- [34] Erratum to: Efficiently making (almost) any concurrency control mechanism serializable The VLDB Journal, 2018, 27 : 899 - 900
- [35] A data-centric concurrency control mechanism for three tier systems 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 2402 - 2407
- [36] A Backup Mechanism with Concurrency Control for Multilevel Secure Distributed Database Systems 2008 THIRD INTERNATIONAL CONFERENCE ON DIGITAL INFORMATION MANAGEMENT, VOLS 1 AND 2, 2008, : 59 - 64
- [37] An Exercise in Concurrency: From Non-Blocking Objects to Fair Objects 2014 17TH INTERNATIONAL CONFERENCE ON NETWORK-BASED INFORMATION SYSTEMS (NBIS 2014), 2014, : 1 - 7
- [39] Action-based concurrency and synchronization for objects TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 248 - 262