Autor der Publikation

The Compositional Approach to Sequential Consistency and Lazy Caching.

, , und . Distributed Comput., 12 (2-3): 105-127 (1999)

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

Protocol design by layered decomposition, und . Formal Techniques in Real-Time and Fault-Tolerant Systems, Volume 571 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1991)Refining Knowledge Oriented Actions to Layered Implementations.. PODC, Seite 91-100. ACM, (1996)Business Case Modelling for E-Services., , und . Bled eConference, Seite 8. (2005)From Sequential Layers to Distributed Processes: Deriving a Distributed Minimum Weight Spanning Tree Algorithm (Extended Anstract)., und . PODC, Seite 215-227. ACM, (1992)Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach., , und . CONCUR, Volume 527 von Lecture Notes in Computer Science, Seite 298-316. Springer, (1991)Business model metrics: an open repository., , , , und . Inf. Syst. E Bus. Manag., 14 (2): 337-366 (2016)Partial Order Based Design of Concurrent Systems., und . REX School/Symposium, Volume 803 von Lecture Notes in Computer Science, Seite 622-684. Springer, (1993)Layers as Knowledge Transitions in the Design of Distributed Systems.. TACAS, Volume 1019 von Lecture Notes in Computer Science, Seite 238-263. Springer, (1995)A Business Process Design Language., , , , und . World Congress on Formal Methods, Volume 1708 von Lecture Notes in Computer Science, Seite 76-95. Springer, (1999)A Strategic Approach to Transformational Design., und . FME, Volume 1051 von Lecture Notes in Computer Science, Seite 609-628. Springer, (1996)