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.

 

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

Competitive Randomized Algorithms for Nonuniform Problems., , , и . Algorithmica, 11 (6): 542-571 (1994)Proving Liveness Properties of Concurrent Programs., и . ACM Trans. Program. Lang. Syst., 4 (3): 455-495 (1982)A Model and Temporal Proof System for Networks of Processes., , и . POPL, стр. 121-131. ACM Press, (1985)On the Use of Optimistic Methods for Concurrency Control in Distributed Databases., и . Berkeley Workshop, стр. 117-129. Technical Information Department, Lawrence Berkeley Laboratory, University of California, Berkeley CA, (1982)GEM: A Tool for Concurrency Specification and Verification., и . PODC, стр. 198-212. ACM, (1983)Competitive Randomized Algorithms for Non-Uniform Problems., , , и . SODA, стр. 301-309. SIAM, (1990)Verifying Concurrent Programs With Shared Data Classes.. Formal Description of Programming Concepts, стр. 279-300. North-Holland, (1977)Making the World Safe for Garbage Collection.. POPL, стр. 77-86. ACM Press, (1981)Behavior: A Temporal Approach to Process Modelling., , , и . Logic of Programs, том 193 из Lecture Notes in Computer Science, стр. 237-254. Springer, (1985)Evaluating the Performance of Software Cache Coherence., и . ASPLOS, стр. 230-242. ACM Press, (1989)SIGARCH Computer Architecture News 17(2), SIGOPS Operating System Review 23(Special Issue April 1989), and SIGPLAN Notices 24(Special Issue May 1989).