Autor der Publikation

Layering of Real-Time Distributed Processes.

, , , und . FTRTFT, Volume 863 von Lecture Notes in Computer Science, Seite 393-417. Springer, (1994)

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

From Sequential Layers to Distributed Processes: Deriving a Distributed Minimum Weight Spanning Tree Algorithm (Extended Anstract)., und . PODC, Seite 215-227. ACM, (1992)Refining Knowledge Oriented Actions to Layered Implementations.. PODC, Seite 91-100. ACM, (1996)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)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)Business Case Modelling for E-Services., , und . Bled eConference, Seite 8. (2005)Protocol Design by Layered Decomposition: A Compositional Approach., und . FTRTFT, Volume 571 von Lecture Notes in Computer Science, Seite 307-326. Springer, (1992)The Compositional Approach to Sequential Consistency and Lazy Caching., , und . Distributed Comput., 12 (2-3): 105-127 (1999)Security Characteristics of E-Collaboration Environments., , und . SEC, Volume 250 von IFIP Conference Proceedings, Seite 471-475. Kluwer, (2003)Specifiying and Proving Communication Closedness in Protocols., und . PSTV, Volume C-16 von IFIP Transactions, Seite 323-339. North-Holland, (1993)