( 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

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)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)In The Truman Show: Generating Dynamic Scenarios in a Driving Simulator., , , , , and . IEEE Intell. Syst., 21 (5): 28-32 (2006)Real-Time Animation Using a Mix of Physical Simulation and Kinematics., , and . J. Graphics, GPU, & Game Tools, 14 (4): 1-21 (2009)The Compositional Approach to Sequential Consistency and Lazy Caching., , and . Distributed Comput., 12 (2-3): 105-127 (1999)Concurrency Verification: Introduction to Compositional and Noncompositional Methods, , , , , , and . Cambridge Tracts in Theoretical Computer Science Cambridge University Press, (2001)Layering and Action Refinement for Timed Systems.. REX Workshop, volume 600 of Lecture Notes in Computer Science, page 687-723. Springer, (1991)