( en | de | ru )

 

Disambiguation of "Zwiers, Job"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems.

, , , and . FSTTCS, volume 1026 of Lecture Notes in Computer Science, page 80-95. Springer, (1995)

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.

Ulrike Zwiers

Wilhelm Job

Christopher Job

Lorenzo Job

Mareile Job

 

Other publications of authors with the same name

Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency., and . PODC, page 265-279. ACM, (1989)The Compositional Approach to Sequential Consistency and Lazy Caching., , and . Distributed Comput., 12 (2-3): 105-127 (1999)A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract)., , and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 513-527. Springer, (1983)Layering Techniques for Development of Parallel Systems., and . CAV, volume 663 of Lecture Notes in Computer Science, page 16-29. Springer, (1992)Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems., , , and . FSTTCS, volume 1026 of Lecture Notes in Computer Science, page 80-95. Springer, (1995)Protocol Design by Layered Decomposition: A Compositional Approach., and . FTRTFT, volume 571 of Lecture Notes in Computer Science, page 307-326. Springer, (1992)In The Truman Show: Generating Dynamic Scenarios in a Driving Simulator., , , , , and . IEEE Intell. Syst., 21 (5): 28-32 (2006)Compositional Transformational Design for Concurrent Programs.. COMPOS, volume 1536 of Lecture Notes in Computer Science, page 609-631. Springer, (1997)Layering and Action Refinement for Timed Systems.. REX Workshop, volume 600 of Lecture Notes in Computer Science, page 687-723. Springer, (1991)Classifying motor imagery in presence of speech., , and . IJCNN, page 1-8. IEEE, (2010)