( en | de | ru )

 

Disambiguierung von "Zwiers, Job"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems.

, , , und . FSTTCS, Volume 1026 von Lecture Notes in Computer Science, Seite 80-95. Springer, (1995)

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.

Ulrike Zwiers

Wilhelm Job

Lorenzo Job

Christopher Job

Mareile Job

 

Weitere Publikationen von Autoren mit dem selben Namen

Layering and Action Refinement for Timed Systems.. REX Workshop, Volume 600 von Lecture Notes in Computer Science, Seite 687-723. Springer, (1991)Compositional Transformational Design for Concurrent Programs.. COMPOS, Volume 1536 von Lecture Notes in Computer Science, Seite 609-631. Springer, (1997)Classifying motor imagery in presence of speech., , und . IJCNN, Seite 1-8. IEEE, (2010)Monitoring User's Brain Activity for a Virtual Coach., , und . ICEC, Volume 6243 von Lecture Notes in Computer Science, Seite 511-513. Springer, (2010)Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency., und . PODC, Seite 265-279. ACM, (1989)Layering Techniques for Development of Parallel Systems., und . CAV, Volume 663 von Lecture Notes in Computer Science, Seite 16-29. Springer, (1992)A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract)., , und . Logic of Programs, Volume 164 von Lecture Notes in Computer Science, Seite 513-527. Springer, (1983)Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems., , , und . FSTTCS, Volume 1026 von Lecture Notes in Computer Science, Seite 80-95. Springer, (1995)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)