Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : prof. dr. W-P de Roever

Willem Paul de Roever

select other reports

this selection

author prof. dr. W-P de Roever

reports (19)

techrep_id file title / author
RUU-CS-85-03 pdf Program derivation through transformations; the evolution of list-copying algorithms
N.W.P. van Diepen and W.P. de Roever
RUU-CS-85-02 pdf The quest for compositionality - a survey of assertion - based proof systems for concurrent programs. Part 1 ; concurrency based on shared variables
W.P. de Roever
RUU-CS-84-12 pdf The $mu$-calculus as an assertion language for fairness arguments
F.A. Stomp and W.P. de Roever and R.T. Gerth
RUU-CS-84-06 pdf Compositional semantics for real-time distributed computing
R.K. Shyamasundar and W.P. de Roever and R. Gerth and R. Koymans and S. Arun-Kumar
RUU-CS-83-15 pdf A proof system for partial correctness of dynamic networks of processes
J. Zwiers and A. de Bruin and W.P. de Roever
RUU-CS-83-09 pdf Real time programming and asynchronous message passing
R. Koymans and J. Vytopil and W.P. de Roever
RUU-CS-83-05 pdf 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 Roever
RUU-CS-83-02 pdf A proof system for concurrent ADA programs
R.T. Gerth and W.P. de Roever
RUU-CS-82-12 pdf Rendezvous with ADA - a Proof Theoretical View
A. Pnueli and W.P. de Roever
RUU-CS-82-10 pdf A study in distributed systems and Dutch patriotism
R.T. Gerth and W.P. de Roever and M. Roncken
RUU-CS-81-12 not
online
A proof system for Brinch Hansen's distributed processes (extended abstract)
M. Roncken and R. Gerth and W.P. de Roever
RUU-CS-81-11 not
online
A formalism for reasoning about fair termination
W.P. de Roever
RUU-CS-81-05 pdf A proof system for Brinch Hansen's distributed processes
M. Roncken and N. van Diepen and M. Kramer and W.P. de Roever
RUU-CS-81-02 pdf A proof rule for fair termination of quarded commands
O. Grumberg and N. Francez and J.A. Makowsky and W.P. de Roever
RUU-CS-80-04 pdf A proof system for communicating sequential processes -final edition
K.R. Apt and N. Francez and W.P. de Roever
RUU-CS-79-08 pdf A proof system for communicating sequential processes
K.R. Apt and N. Francez and W.P. de Roever
RUU-CS-78-07 pdf The evolution of list-copying algorithms and the need for structured program verification
S. Lee and W.P. de Roever and S.L. Gerhart
RUU-CS-78-06 pdf An essay on trees and iteration
W.P. de Roever
RUU-CS-78-00 pdf Semantics of nondeterminism, concurrency and communication
N. Francez and C.A.R. Hoare and D.J. Lehmann and W.P. de Roever

indexed (co) authors

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

BibTeX entries

@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}
}