共 50 条
- [21] A universal construction for concurrent objects ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2007, : 959 - +
- [23] SPECIFYING AND INHERITING CONCURRENT OBJECTS MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 167 - 170
- [25] A compositional approach to concurrent objects TOOLS 27: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES, PROCEEDINGS, 1998, : 116 - 126
- [27] Conditions of understanding as conditions of the objects of understanding ANALYOMEN 2, VOL I: LOGIC, EPISTEMOLOGY, PHILOSOPHY OF SCIENCE, 1997, 16 : 232 - 245
- [28] 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
- [30] Progress of Concurrent Objects with Partial Methods PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2