Roever, W.-P. de, 1943-
Roever, Willem-Paul de 1943-
De Roever, Willem-Paul
Roever, W.-P. de
Roever, W.P. de (Willem Paul), Jr., 1943-
Roever, Willem-Paul de
Roever, Willelm-Paul de
Willem-Paul de Roever
VIAF ID: 59186024 ( Personal )
Permalink: http://viaf.org/viaf/59186024
Preferred Forms
-
- 100 1 _ ‡a De Roever, Willem-Paul
- 200 _ | ‡a Roever ‡b Willem-Paul de ‡f 1943-....
- 100 1 _ ‡a Roever, W.-P. de
-
-
-
-
-
- 100 1 0 ‡a Roever, W.-P. de, ‡d 1943-
-
-
- 100 1 _ ‡a Roever, Willelm-Paul de
-
- 100 1 _ ‡a Roever, Willem-Paul de, ‡d 1943-....
- 100 1 _ ‡a Roever, Willem-Paul de ‡d 1943-
- 100 0 _ ‡a Willem-Paul de Roever
4xx's: Alternate Name Forms (26)
5xx's: Related Names (5)
- 510 2 _ ‡a Christian-Albrechts-Universität zu Kiel ‡b Technische Fakultät ‡e Affiliation
- 510 2 _ ‡a Institut für Informatik (Kiel)
- 510 2 _ ‡a International Symposium on Compositionality (1997 : Bad Malente)
- 510 2 _ ‡a Universität Kiel ‡b Institut für Informatik ‡e Affiliation
- 510 2 _ ‡a Universität Kiel ‡b Technische Fakultät
Works
Title | Sources |
---|---|
Assertional data reification proofs survey and perspective | |
COMPOS'97 | |
A compositional axiomatization of statecharts | |
Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures | |
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever | |
Concurrency verification : introduction to compositional and noncompositional methods | |
The cooperation test : a syntax-directed verification method | |
A correctness proof of a distributed minimum-weight spanning tree algorithm | |
Current trends in concurrency : overviews and tutorials | |
Data refinement : model-oriented proof methods and their comparison | |
A Decade of concurrency / J. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.). - Berlin, 1994. | |
decade of concurrency reflections and perspectives REX school/Symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993, proceedings | |
Fairness assumptions for CSP in a temporal logic framework | |
Formal methods for components and objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007 : revised papers | |
Formal Semantics for Ward & Mellor's TRANSFORMATION SCHEMA's and its Application to Fault-Tolerant Systems | |
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings | |
A formalization of sequentially phased intuition in network protocols (extended abstract) | |
Foundations of computer science leaving the ivory tower | |
Geological investigations in the southwestern Moetis region (Netherlands Timor) | |
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 | |
A note on compositional refinement | |
On proofs about backtracking : a tutorial | |
Principles for sequential reasoning about distributed algorithms | |
Proceedings / 2nd International Workshop on Applied Formal Methods in System Design | |
Program derivation through transformations : the evolution of list-copying algorithms | |
Programming concepts and methods - PROCOMET '98 : IFIP TC2 - WG2.2, 2.3 International conference ..., 8012 June 1998, Shelter Island, New York, USA | |
The quest goes on : a survey of proofsystems for partial correctness of CSP | |
Recursion and parameter mechanisms : an axiomatic approach | |
Recursive program schemes : semantics and proof theory | |
Rely guarantee method for verifying shared variable concurrent programs | |
Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings | |
Specifying fault tolerance within Stark's formalism | |
Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29 - June 2, 1989 : proceedings | |
Verification and specification of concurrent programs |