Author of the publication

Protocol Design by Layered Decomposition: A Compositional Approach.

, and . FTRTFT, volume 571 of Lecture Notes in Computer Science, page 307-326. Springer, (1992)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Protocol design by layered decomposition, and . Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1991)Business Case Modelling for E-Services., , and . Bled eConference, page 8. (2005)From Sequential Layers to Distributed Processes: Deriving a Distributed Minimum Weight Spanning Tree Algorithm (Extended Anstract)., and . PODC, page 215-227. ACM, (1992)Refining Knowledge Oriented Actions to Layered Implementations.. PODC, page 91-100. ACM, (1996)Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach., , and . CONCUR, volume 527 of Lecture Notes in Computer Science, page 298-316. Springer, (1991)Business model metrics: an open repository., , , , and . Inf. Syst. E Bus. Manag., 14 (2): 337-366 (2016)Security Characteristics of E-Collaboration Environments., , and . SEC, volume 250 of IFIP Conference Proceedings, page 471-475. Kluwer, (2003)The Compositional Approach to Sequential Consistency and Lazy Caching., , and . Distributed Comput., 12 (2-3): 105-127 (1999)Protocol Design by Layered Decomposition: A Compositional Approach., and . FTRTFT, volume 571 of Lecture Notes in Computer Science, page 307-326. Springer, (1992)Exchange Design Patterns for Electronic Intermediaries., , , and . ECIS, page 155-166. University of St. Gallen, (2007)