From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

An Array Abstraction to Amortize Reasoning About Parallel Client Code., , и . SAI (1), том 283 из Lecture Notes in Networks and Systems, стр. 346-362. Springer, (2021)A Cottage Industry of Software Publishing: Implications for Theories of Composition., , и . IPPS/SPDP Workshops, том 1388 из Lecture Notes in Computer Science, стр. 890-899. Springer, (1998)A Container-Based Approach to Object-Oriented Product Lines., , , , и . J. Object Technol., 3 (4): 161-175 (2004)Formal Verification of a Java Component Using the RESOLVE Framework., и . FroCoS, том 12941 из Lecture Notes in Computer Science, стр. 287-305. Springer, (2021)A Verified Integration of Parallel Programming Paradigms in CC++.. IPPS, стр. 44-50. IEEE Computer Society, (1994)Remote Belief: Preserving Volition for Loosely Coupled Processe., и . ICDCS, стр. 434-440. IEEE Computer Society, (2003)The specification of distributed objects: liveness and locality., и . CASCON, стр. 11. IBM, (1999)A class of synchronization systems that permit the use of large atomic blocks.. CASCON, стр. 21. IBM, (1998)An Eventually Perfect Failure Detector on ADD Channels Using Clustering., и . NETYS, том 13464 из Lecture Notes in Computer Science, стр. 149-166. Springer, (2022)Increasing client-side confidence in remote component implementations., и . ESEC / SIGSOFT FSE, стр. 52-61. ACM, (2001)