Autor der Publikation

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

Competitive Randomized Algorithms for Nonuniform Problems., , , und . Algorithmica, 11 (6): 542-571 (1994)Proving Liveness Properties of Concurrent Programs., und . ACM Trans. Program. Lang. Syst., 4 (3): 455-495 (1982)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)A Model and Temporal Proof System for Networks of Processes., , und . POPL, Seite 121-131. ACM Press, (1985)Network Objects, , , und . Softw., Pract. Exper., 25 (S4): S4 (1995)Competitive Randomized Algorithms for Non-Uniform Problems., , , und . SODA, Seite 301-309. SIAM, (1990)Factors in the Performance of the AN1 Computer Network., und . SIGMETRICS, Seite 167-180. ACM, (1992)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)