Compositionality and modularity in process specification and design: A trace-state based approach von Zwiers, Job, de Roever, Willem-P.

Volltext

A Proof System for Communicating Sequential Processes von Apt, Krzysztof R., Francez, Nissim, de Roever, Willem P.

Volltext

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever von Dams, Dennis, Hannemann, Ulrich, Steffen, Martin

Volltext

On backtracking and greatest fixpoints von de Roever, Willem P.

Volltext

First-order reduction of call-by-name to call-by-value von de Roever, Willem P.

Volltext

A proof system for concurrent ADA programs von Gerth, Rob, De Roever, Willem P

Volltext

Procedures and concurrency: A study in proof von Gerth, Rob, de Roever, Willem P., Roncken, Marly

Volltext

Semantics of nondeterminism, concurrency and communication: Extended abstract, November 1977 von Francez, Nissim, Hoare, C. A. R., de Roever, Willem P.

Volltext

A formalism for reasoning about fair termination: extended abstract von de Roever, Willem P.

Volltext

The quest goes on: A survey of proofsystems for partial correctness of CSP von Hooman, Jozef, de Roever, Willem-P.

Volltext

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings von Bakker, J. W. de, Roever, W. -P. de, Rozenberg, G

Volltext

Examples of a real-time temporal logic specification von Koymans, Ron, de Roever, Willem P.

Volltext

Semantics of nondeterminism, concurrency, and communication von Francez, Nissim, Hoare, C.A.R., Lehmann, Daniel J., De Roever, Willem P.

Volltext

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988 von Bakker, J. W. de, Roever, W. -P. de, Rozenberg, G

Volltext

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,... von Langmaack, Hans, Roever, Willem-Paul de, Vytopil, Jan

Volltext

A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings von Bakker, J. W. de, Roever, W. -P. de, Rozenberg, G

Volltext

Semantics: Foundations and Applications: REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings von Bakker, J. W. de, Roever, W. -P. de, Rozenberg, G

Volltext

A proof rule for fair termination of guarded commands von Grumberg, Orna, Francez, Nissim, Makowsky, Johann A., de Roever, Willem P.

Volltext

Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings von Bakker, J. W. de, Roever, W. P. de, Rozenberg, G

Volltext

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures von Roever, Willem-Paul de, Langmaack, Hans, Pnueli, Amir

Volltext