Research Output 1972 2019

Filter
Book
2014

Modeling and analysis of communicating systems

Groote, J. F. & Mousavi, M. R., 2014, London: MIT Press. 376 p.

Research output: Book/ReportBookAcademic

Computer systems
Specifications
Computer simulation
Abstract data types
Computer networks
9 Citations (Scopus)

Type theory and formal proof : an introduction

Nederpelt, R. P. & Geuvers, J. H., 2014, Cambridge: Cambridge University Press. 436 p.

Research output: Book/ReportBookAcademic

Formal Proof
Type Theory
Lambda Calculus
Type Systems
Exercise
2012

Code generation with templates

Arnoldus, B. J., Brand, van den, M. G. J., Serebrenik, A. & Brunekreef, J. J., 2012, Amsterdam: Atlantis Press. (Atlantis studies in computing; vol. 1)

Research output: Book/ReportBookAcademic

Engines
Code generation
2011

Logical reasoning : a first course

Nederpelt, R. P. & Kamareddine, F., 2011, 2nd rev. ed. London: King's College Publications. 386 p. (Texts in computing; vol. 3)

Research output: Book/ReportBookProfessional

2010

Process algebra : equational theories of communicating processes

Baeten, J. C. M., Basten, T. & Reniers, M. A., 2010, Cambridge: Cambridge University Press. 460 p. (Cambridge tracts in theoretical computer science; vol. 50)

Research output: Book/ReportBookAcademic

Equational Theory
Process Algebra
Notation
Distributed Systems
Mutual Exclusion
2007

De achterkant van sudoku : oplossen, programmeren en ontwerpen

Zantema, H., 2007, Haarlem: Aramith. 144 p.

Research output: Book/ReportBookProfessional

2005

A modern perspective on type theory : from its origins until today

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2005, Dordrecht: Kluwer Academic Publishers. 357 p. (Applied logic series. APLS; vol. 29)

Research output: Book/ReportBookAcademic

2004

Logical reasoning : a first course

Nederpelt, R. P. & Kamareddine, F., 2004, London: King's College Publications. 410 p. (Texts in computing; vol. 3)

Research output: Book/ReportBookProfessional

2002

Process algebra with timing

Baeten, J. C. M. & Middelburg, C. A., 2002, Berlin: Springer. 287 p. (Monographs in theoretical computer science)

Research output: Book/ReportBookAcademic

1988

A method of programming

Dijkstra, E. W. & Feijen, W. H. J., 1988, Amsterdam: Addison-Wesley. 188 p.

Research output: Book/ReportBookProfessional