( en | de | ru )

 

Disambiguation of "Zwiers, Job"

Author of the publication

copydeleteadd this publication to your clipboard
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development.

, , , , and . FME, volume 1051 of Lecture Notes in Computer Science, page 595-608. Springer, (1996)

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

Christopher Job

Lorenzo Job

Wilhelm Job

Mareile Job

 

Other publications of authors with the same name

Classifying motor imagery in presence of speech., , and . IJCNN, page 1-8. IEEE, (2010)Layering and Action Refinement for Timed Systems.. REX Workshop, volume 600 of Lecture Notes in Computer Science, page 687-723. Springer, (1991)Compositional Transformational Design for Concurrent Programs.. COMPOS, volume 1536 of Lecture Notes in Computer Science, page 609-631. Springer, (1997)Monitoring User's Brain Activity for a Virtual Coach., , and . ICEC, volume 6243 of Lecture Notes in Computer Science, page 511-513. Springer, (2010)Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency., and . PODC, page 265-279. ACM, (1989)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)Protocol Design by Layered Decomposition: A Compositional Approach., and . FTRTFT, volume 571 of Lecture Notes in Computer Science, page 307-326. 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)The Compositional Approach to Sequential Consistency and Lazy Caching., , and . Distributed Comput., 12 (2-3): 105-127 (1999)