( en | de | ru )

 

Disambiguierung von "Janssen, Wil"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synchronous development of asynchronous systems

, und . CONCUR '96: Concurrency Theory, Volume 1119 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1996)
DOI: 10.1007/3-540-61604-7_87

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.

Wil Bernsdorf

Wil Martens

Wil Wortmann

Stefan Wil

Mary Wil Fisher

 

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)Business Case Modelling for E-Services., , und . Bled eConference, Seite 8. (2005)Business model metrics: an open repository., , , , und . Inf. Syst. E Bus. Manag., 14 (2): 337-366 (2016)Refining Knowledge Oriented Actions to Layered Implementations.. PODC, Seite 91-100. ACM, (1996)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)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)Exchange Design Patterns for Electronic Intermediaries., , , und . ECIS, Seite 155-166. University of St. Gallen, (2007)A Business Process Design Language., , , , und . World Congress on Formal Methods, Volume 1708 von Lecture Notes in Computer Science, Seite 76-95. Springer, (1999)