Edit Profile (opens in new tab) de Roever, Willem P. jun. Co-Author Distance Author ID: 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 all top 5 Co-Authors 11 single-authored 9 Gerth, Rob Tristan 3 Francez, Nissim 3 Roncken, Marly 2 Arunkumar, S. 2 Hoare, C. A. R. Tony 2 Huizing, Cornelis 2 Shyamasundar, Rudrapatna Kallikote 2 Stomp, F. A. 1 Aho, Alfred Vaino 1 Andler, Sten F. 1 Andrews, Gregory R. 1 Apt, Krzysztof Rafal 1 Banning, John 1 Bernstein, Philip A. 1 Cartwright, Robert 1 Casanova, Marco Antonio 1 Clarke, Edmund Melson jun. 1 Cohen, Norman H. 1 Cohen, Richard M. 1 Cohen, Rina S. 1 Constable, Robert Lee 1 Cousot, Patrick 1 Cousot, Radhia 1 Critcher, Adrienne 1 Fleck, Arthur C. 1 Fong, Amelia C. 1 Fraser, Christopher W. 1 Gerhart, Susan L. 1 Good, Donald I. 1 Greif, Irene 1 Gull, Walter E. 1 Harel, David 1 Harry, E. 1 Hoffmann, Christoph M. 1 Jenkins, Michael A. 1 Jones, Neil D. 1 Koyman, R. 1 Koymans, Ron 1 Lee, Stanley 1 Lehmann, Daniel J. 1 Liu, Ken-Chih 1 McCarthy, John 1 Meyer, Albert Ronald 1 Miller, Terrence C. 1 Muchnick, Steven S. 1 O’Donnell, Michael J. 1 Pratt, Vaughan R. 1 Reif, John H. 1 Reitman, Richard P. 1 Savage, John E. 1 Schonberg, Edmond 1 Schwartz, Jacob Theodore 1 Sharir, Micha 1 Swamy, Sowmitri 1 Ullman, Jeffrey David 1 Van Diepen, N. W. P. all top 5 Serials 2 Science of Computer Programming 2 Information and Computation 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 ACM Transactions on Programming Languages and Systems 1 Annales Societatis Mathematicae Polonae. Series IV 1 Formal Aspects of Computing Fields 28 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 19 Authors 2 Maddux, Roger D. 1 Arbib, Michael A. 1 Chen, Zhizhong 1 Compton, Kevin J. 1 de Roever, Willem-Paul 1 Francez, Nissim 1 Gallier, Jean H. 1 Gritzner, Thomas F. 1 Guttmann, Walter 1 Hooman, Jozef Johannes Maria 1 Kozen, Dexter C. 1 Larsen, Kim Guldstrand 1 Lehmann, Daniel J. 1 Manes, Ernest G. 1 Milner, Robin 1 Smyth, Michael B. 1 Stirling, Colin 1 Tchier, Fairouz 1 von Oheimb, David all top 5 Cited in 8 Serials 7 Theoretical Computer Science 1 Information Processing Letters 1 Journal of Algebra 1 Mathematical Systems Theory 1 Information and Computation 1 The Journal of Logic and Algebraic Programming 1 Sādhanā 1 Discrete and Continuous Dynamical Systems. Series S Cited in 4 Fields 15 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Citations by Year