Autor der Publikation

On the Use of Optimistic Methods for Concurrency Control in Distributed Databases.

, und . Berkeley Workshop, Seite 117-129. Technical Information Department, Lawrence Berkeley Laboratory, University of California, Berkeley CA, (1982)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving Liveness Properties of Concurrent Programs., und . ACM Trans. Program. Lang. Syst., 4 (3): 455-495 (1982)A Model and Temporal Proof System for Networks of Processes., , und . POPL, Seite 121-131. ACM Press, (1985)On the Use of Optimistic Methods for Concurrency Control in Distributed Databases., und . Berkeley Workshop, Seite 117-129. Technical Information Department, Lawrence Berkeley Laboratory, University of California, Berkeley CA, (1982)GEM: A Tool for Concurrency Specification and Verification., und . PODC, Seite 198-212. ACM, (1983)Making the World Safe for Garbage Collection.. POPL, Seite 77-86. ACM Press, (1981)Competitive Randomized Algorithms for Non-Uniform Problems., , , und . SODA, Seite 301-309. SIAM, (1990)Verifying Concurrent Programs With Shared Data Classes.. Formal Description of Programming Concepts, Seite 279-300. North-Holland, (1977)Behavior: A Temporal Approach to Process Modelling., , , und . Logic of Programs, Volume 193 von Lecture Notes in Computer Science, Seite 237-254. Springer, (1985)Maintaining the Time in a Distributed System., und . PODC, Seite 295-305. ACM, (1983)Evaluating the Performance of Software Cache Coherence., und . ASPLOS, Seite 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).