author prof. dr. W-P de Roever

techrep_id file title / author RUU-CS-85-03 Program derivation through transformations; the evolution of list-copying algorithms

N.W.P. van Diepen and W.P. de RoeverRUU-CS-85-02 The quest for compositionality - a survey of assertion - based proof systems for concurrent programs. Part 1 ; concurrency based on shared variables

W.P. de RoeverRUU-CS-84-12 The $mu$-calculus as an assertion language for fairness arguments

F.A. Stomp and W.P. de Roever and R.T. GerthRUU-CS-84-06 Compositional semantics for real-time distributed computing

R.K. Shyamasundar and W.P. de Roever and R. Gerth and R. Koymans and S. Arun-KumarRUU-CS-83-15 A proof system for partial correctness of dynamic networks of processes

J. Zwiers and A. de Bruin and W.P. de RoeverRUU-CS-83-09 Real time programming and asynchronous message passing

R. Koymans and J. Vytopil and W.P. de RoeverRUU-CS-83-05 A case study in proofs about realtime programming and asynchronous message passing (A formal system for a telecommunication language)

R. Koymans and J. Vytopil and W.P. de RoeverRUU-CS-83-02 A proof system for concurrent ADA programs

R.T. Gerth and W.P. de RoeverRUU-CS-82-12 Rendezvous with ADA - a Proof Theoretical View

A. Pnueli and W.P. de RoeverRUU-CS-82-10 A study in distributed systems and Dutch patriotism

R.T. Gerth and W.P. de Roever and M. RonckenRUU-CS-81-12 not

onlineA proof system for Brinch Hansen's distributed processes (extended abstract)

M. Roncken and R. Gerth and W.P. de RoeverRUU-CS-81-11 not

onlineA formalism for reasoning about fair termination

W.P. de RoeverRUU-CS-81-05 A proof system for Brinch Hansen's distributed processes

M. Roncken and N. van Diepen and M. Kramer and W.P. de RoeverRUU-CS-81-02 A proof rule for fair termination of quarded commands

O. Grumberg and N. Francez and J.A. Makowsky and W.P. de RoeverRUU-CS-80-04 A proof system for communicating sequential processes -final edition

K.R. Apt and N. Francez and W.P. de RoeverRUU-CS-79-08 A proof system for communicating sequential processes

K.R. Apt and N. Francez and W.P. de RoeverRUU-CS-78-07 The evolution of list-copying algorithms and the need for structured program verification

S. Lee and W.P. de Roever and S.L. GerhartRUU-CS-78-06 An essay on trees and iteration

W.P. de RoeverRUU-CS-78-00 Semantics of nondeterminism, concurrency and communication

N. Francez and C.A.R. Hoare and D.J. Lehmann and W.P. de Roever

author group Gerth, dr. R.T. all reports Algorithmic Systems all reports Roever, prof. dr. W-P de all reports Algorithmic Systems all reports

@TECHREPORT{RUUCS8503, author = {Diepen, N.W.P.~van and Roever, W.P.~de}, year = 1985, title = {Program derivation through transformations; the evolution of list-copying algorithms}, number = {RUU-CS-85-03}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1985/1985-03.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS8502, author = {Roever, W.P.~de}, year = 1985, title = {The quest for compositionality - a survey of assertion - based proof systems for concurrent programs. Part 1 ; concurrency based on shared variables}, number = {RUU-CS-85-02}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1985/1985-02.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS8412, author = {Stomp, F.A. and Roever, W.P.~de and Gerth, R.T.}, year = 1984, title = {The $mu$-calculus as an assertion language for fairness arguments}, number = {RUU-CS-84-12}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1984/1984-12.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS8406, author = {Shyamasundar, R.K. and Roever, W.P.~de and Gerth, R. and Koymans, R. and Arun-Kumar, S.}, year = 1984, title = {Compositional semantics for real-time distributed computing}, number = {RUU-CS-84-06}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1984/1984-06.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS8315, author = {Zwiers, J. and Bruin, A.~de and Roever, W.P.~de}, year = 1983, title = {A proof system for partial correctness of dynamic networks of processes}, number = {RUU-CS-83-15}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-15.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS8309, author = {Koymans, R. and Vytopil, J. and Roever, W.P.~de}, year = 1983, title = {Real time programming and asynchronous message passing}, number = {RUU-CS-83-09}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-09.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS8305, author = {Koymans, R. and Vytopil, J. and Roever, W.P.~de}, year = 1983, title = {A case study in proofs about realtime programming and asynchronous message passing (A formal system for a telecommunication language)}, number = {RUU-CS-83-05}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-05.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS8302, author = {Gerth, R.T. and Roever, W.P.~de}, year = 1983, title = {A proof system for concurrent ADA programs}, number = {RUU-CS-83-02}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-02.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS8212, author = {Pnueli, A. and Roever, W.P.~de}, year = 1982, title = {Rendezvous with ADA - a Proof Theoretical View}, number = {RUU-CS-82-12}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1982/1982-12.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS8210, author = {Gerth, R.T. and Roever, W.P.~de and Roncken, M.}, year = 1982, title = {A study in distributed systems and Dutch patriotism}, number = {RUU-CS-82-10}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1982/1982-10.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS8112, author = {Roncken, M. and Gerth, R. and Roever, W.P.~de}, year = 1981, title = {A proof system for Brinch Hansen's distributed processes (extended abstract)}, number = {RUU-CS-81-12}, institution = {Department of Information and Computing Sciences, Utrecht University}, pubcat = {techreport} }

@TECHREPORT{RUUCS8111, author = {Roever, W.P.~de}, year = 1981, title = {A formalism for reasoning about fair termination}, number = {RUU-CS-81-11}, institution = {Department of Information and Computing Sciences, Utrecht University}, pubcat = {techreport} }

@TECHREPORT{RUUCS8105, author = {Roncken, M. and Diepen, N.~van and Kramer, M. and Roever, W.P.~de}, year = 1981, title = {A proof system for Brinch Hansen's distributed processes}, number = {RUU-CS-81-05}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1981/1981-05.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS8102, author = {Grumberg, O. and Francez, N. and Makowsky, J.A. and Roever, W.P.~de}, year = 1981, title = {A proof rule for fair termination of quarded commands}, number = {RUU-CS-81-02}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1981/1981-02.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS8004, author = {Apt, K.R. and Francez, N. and Roever, W.P.~de}, year = 1980, title = {A proof system for communicating sequential processes -final edition}, number = {RUU-CS-80-04}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1980/1980-04.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS7908, author = {Apt, K.R. and Francez, N. and Roever, W.P.~de}, year = 1979, title = {A proof system for communicating sequential processes}, number = {RUU-CS-79-08}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1979/1979-08.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS7807, author = {Lee, S. and Roever, W.P.~de and Gerhart, S.L.}, year = 1978, title = {The evolution of list-copying algorithms and the need for structured program verification}, number = {RUU-CS-78-07}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1978/1978-07.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS7806, author = {Roever, W.P.~de}, year = 1978, title = {An essay on trees and iteration}, number = {RUU-CS-78-06}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1978/1978-06.pdf}}, pubcat = {techreport} }

@TECHREPORT{RUUCS7800, author = {Francez, N. and Hoare, C.A.R. and Lehmann, D.J. and Roever, W.P.~de}, year = 1978, title = {Semantics of nondeterminism, concurrency and communication}, number = {RUU-CS-78-00}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1978/1978-00.pdf}}, pubcat = {techreport} }