W.-P. de Roever

Born: 1943

No bio available. Add one in Open Library.

Born: 1943

Books by W.-P. de Roever (50 max)

+ shelf+ list

Data refinement: model-oriented proof methods and their comparison

1998

W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt

+ shelf+ list

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Lecture Notes in Computer Science)

1990

J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, W. P. De Roever

+ shelf+ list

A Decade of Concurrency: Reflections and Perspectives. Rex School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4, 1993. Proceedings (Lecture Notes in Computer Science)

1994

J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg, J. W. De Bakker, W. P. De Roever

+ shelf+ list

Concurrency verification: introduction to compositional and noncompositional methods

2001

W.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

+ shelf+ list

Linear time, branching time, and partial order in logics and models for concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

1989

Willem-Paul de Roever, Grzegorz Rozenberg, J. W. de Bakker, W.-P. de Roever

+ shelf+ list

Recursive program schemes: semantics and proof theory

1976

W.-P. de Roever

+ shelf+ list

Data refinement model-oriented proof methods and their comparison

2009

W.-P. de Roever