×

de Roever, Willem P. jun.

Author ID: de-roever.willem-p-jun Recent zbMATH articles by "de Roever, Willem P. jun."
Published as: de Roever, Willem P. jun.; De Roever, W. P. jun.
Documents Indexed: 27 Publications since 1970, including 2 Books
1 Further Contribution

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 15 times in 15 Documents Cited by Year
A proof system for communicating sequential processes. Zbl 0468.68023
Apt, Krzysztof R.; Francez, Nissim; De Roever, Willem P.
55
1980
Semantics of nondeterminism, concurrency, and communication. Zbl 0434.68066
Francez, Nissim; Hoare, C. A. R.; Lehmann, Daniel J.; de Roever, Willem P.
27
1979
Modelling Statecharts behaviour in a fully abstract way. Zbl 0647.68018
Huizing, C.; Gerth, R.; de Roever, W. P.
12
1988
The \(\mu\)-calculus as an assertion-language for fairness arguments. Zbl 0678.68010
Stomp, F. A.; de Roever, W. P.; Gerth, R. T.
12
1989
Recursive program schemes: Semantics and proof theory. Zbl 0344.68001
De Roever, W. P. jun.
11
1976
Dijkstra’s predicate transformer, non-determinism, recursion, and termination. Zbl 0341.68014
de Roever, W. P.
10
1976
Fairness assumptions for CSP in a temporal logic framework. Zbl 0512.68022
Kuiper, R.; de Roever, W. P.
10
1983
Compositional semantics for real-time distributed computing. Zbl 0669.68055
Koyman, R.; Shyamasundar, R. K.; De Roever, W. P.; Gerth, R.; Arun-Kumar, S.
9
1988
Recursion and parameter mechanisms: an axiomatic approach. Zbl 0302.68019
de Roever, W. P.
8
1974
A principle for sequential reasoning about distributed algorithms. Zbl 0829.68066
Stomp, F. A.; de Roever, W.-P.
7
1994
Proving monitors revisited: A first step towards verifying object oriented systems. Zbl 0617.68026
Gerth, Rob; de Roever, W. P.
6
1986
Compositional semantics for real-time distributed computing. Zbl 0565.68026
Koymans, R.; Shyamasundar, R. K.; de Roever, W. P.; Gerth, R.; Arun-Kumar, S.
6
1985
A proof system for concurrent ADA programs. Zbl 0536.68009
Gerth, Rob; de Roever, Willem P.
6
1984
Introduction to design choices in the semantics of Statecharts. Zbl 0713.68012
Huizing, C.; de Roever, W. P.
5
1991
A formalism for reasoning about fair termination. (Extended abstract). Zbl 0481.68017
de Roever, Willem P.
3
1982
Procedures and concurrency: a study in proof. Zbl 0493.68019
Gerth, Rob; De Roever, Willem P.; Roncken, Marly
3
1982
First-order reduction of call-by-name to call-by-value. Zbl 0318.68017
de Roever, Willem P.
2
1975
The cooperation test: a syntax-directed verification method. Zbl 0578.68012
de Roever, Willem P. jun.
2
1985
The quest for compositionality - a survey of assertion-based proof systems for concurrent programs, Part 1: Concurrency based on shared variables. Zbl 0594.68019
de Roever, Willem P. jun.
2
1986
On backtracking and greatest fixpoints. Zbl 0373.68037
de Roever, Willem P.
1
1978
Semantics of nondeterminism, concurrency and communication. Zbl 0391.68017
Francez, Nissim; Hoare, C. A. R.; de Roever, Willem P.
1
1978
Program derivation through transformations: The evolution of list-copying algorithms. Zbl 0585.68024
Van Diepen, N. W. P.; de Roever, W. P.
1
1986
A study in distributed systems and Dutch patriotism. Zbl 0547.68025
Gerth, Rob; de Roever, Willem P.; Roncken, Marly
1
1982
A proof system for Brinch Hansen’s distributed processes. Zbl 0476.68023
Roncken, M.; Gerth, R.; De Roever, W. P.
1
1981
A principle for sequential reasoning about distributed algorithms. Zbl 0829.68066
Stomp, F. A.; de Roever, W.-P.
7
1994
Introduction to design choices in the semantics of Statecharts. Zbl 0713.68012
Huizing, C.; de Roever, W. P.
5
1991
The \(\mu\)-calculus as an assertion-language for fairness arguments. Zbl 0678.68010
Stomp, F. A.; de Roever, W. P.; Gerth, R. T.
12
1989
Modelling Statecharts behaviour in a fully abstract way. Zbl 0647.68018
Huizing, C.; Gerth, R.; de Roever, W. P.
12
1988
Compositional semantics for real-time distributed computing. Zbl 0669.68055
Koyman, R.; Shyamasundar, R. K.; De Roever, W. P.; Gerth, R.; Arun-Kumar, S.
9
1988
Proving monitors revisited: A first step towards verifying object oriented systems. Zbl 0617.68026
Gerth, Rob; de Roever, W. P.
6
1986
The quest for compositionality - a survey of assertion-based proof systems for concurrent programs, Part 1: Concurrency based on shared variables. Zbl 0594.68019
de Roever, Willem P. jun.
2
1986
Program derivation through transformations: The evolution of list-copying algorithms. Zbl 0585.68024
Van Diepen, N. W. P.; de Roever, W. P.
1
1986
Compositional semantics for real-time distributed computing. Zbl 0565.68026
Koymans, R.; Shyamasundar, R. K.; de Roever, W. P.; Gerth, R.; Arun-Kumar, S.
6
1985
The cooperation test: a syntax-directed verification method. Zbl 0578.68012
de Roever, Willem P. jun.
2
1985
A proof system for concurrent ADA programs. Zbl 0536.68009
Gerth, Rob; de Roever, Willem P.
6
1984
Fairness assumptions for CSP in a temporal logic framework. Zbl 0512.68022
Kuiper, R.; de Roever, W. P.
10
1983
A formalism for reasoning about fair termination. (Extended abstract). Zbl 0481.68017
de Roever, Willem P.
3
1982
Procedures and concurrency: a study in proof. Zbl 0493.68019
Gerth, Rob; De Roever, Willem P.; Roncken, Marly
3
1982
A study in distributed systems and Dutch patriotism. Zbl 0547.68025
Gerth, Rob; de Roever, Willem P.; Roncken, Marly
1
1982
A proof system for Brinch Hansen’s distributed processes. Zbl 0476.68023
Roncken, M.; Gerth, R.; De Roever, W. P.
1
1981
A proof system for communicating sequential processes. Zbl 0468.68023
Apt, Krzysztof R.; Francez, Nissim; De Roever, Willem P.
55
1980
Semantics of nondeterminism, concurrency, and communication. Zbl 0434.68066
Francez, Nissim; Hoare, C. A. R.; Lehmann, Daniel J.; de Roever, Willem P.
27
1979
On backtracking and greatest fixpoints. Zbl 0373.68037
de Roever, Willem P.
1
1978
Semantics of nondeterminism, concurrency and communication. Zbl 0391.68017
Francez, Nissim; Hoare, C. A. R.; de Roever, Willem P.
1
1978
Recursive program schemes: Semantics and proof theory. Zbl 0344.68001
De Roever, W. P. jun.
11
1976
Dijkstra’s predicate transformer, non-determinism, recursion, and termination. Zbl 0341.68014
de Roever, W. P.
10
1976
First-order reduction of call-by-name to call-by-value. Zbl 0318.68017
de Roever, Willem P.
2
1975
Recursion and parameter mechanisms: an axiomatic approach. Zbl 0302.68019
de Roever, W. P.
8
1974

Citations by Year