dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Job Zwiers (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Concurrency Verification: Introduction to Compositional and Noncompositional Methods Cambridge University Press 2001
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT 2000: 3-5
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJob Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp: Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. FME 1996: 595-608
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJob Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever: Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. FSTTCS 1995: 80-95
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJob Zwiers, Willem P. de Roever: Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. PODC 1989: 265-279
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJob Zwiers, Willem P. de Roever: Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. Temporal Logic in Specification 1987: 351-374
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJob Zwiers, Willem P. de Roever, Peter van Emde Boas: Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. ICALP 1985: 509-519
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJob Zwiers, Arie de Bruin, Willem P. de Roever: A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract). Logic of Programs 1983: 513-527

Selection of 8 from 47 records - Job Zwiers has 41 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page