| Publication | Date of Publication | Type |
|---|
| On algebra of program correctness and incorrectness | 2023-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5075290 | 2022-05-12 | Paper |
| The 1980 ACM Turing Award Lecture | 2022-02-14 | Paper |
| The Verified Software Initiative: A Manifesto | 2022-02-14 | Paper |
| Communicating Sequential Processes | 2022-02-14 | Paper |
| Envoi | 2022-02-14 | Paper |
| ACM Interview | 2022-02-14 | Paper |
| A calculus of space, time, and causality: its algebra, geometry, logic | 2020-02-18 | Paper |
| The verified software initiative | 2019-08-09 | Paper |
| A Discrete Geometric Model of Concurrent Program Execution | 2017-04-04 | Paper |
| Developments in concurrent Kleene algebra | 2016-06-22 | Paper |
| Algebra Unifies Operational Calculi | 2015-12-11 | Paper |
| Exploring an Interface Model for CKA | 2015-08-27 | Paper |
| Why ever CSP? | 2015-07-10 | Paper |
| Separation Logic Semantics for Communicating Processes | 2014-05-13 | Paper |
| Developments in Concurrent Kleene Algebra | 2014-04-16 | Paper |
| Verification of Fine-grain Concurrent Programs | 2014-01-17 | Paper |
| Generic Models of the Laws of Programming | 2013-08-16 | Paper |
| Unifying Semantics for Concurrent Programming | 2013-05-28 | Paper |
| In praise of algebra | 2013-03-22 | Paper |
| The Laws of Programming Unify Process Calculi | 2012-09-05 | Paper |
| Net Models for Concurrent Object Behaviour | 2012-09-04 | Paper |
| On Locality and the Exchange Law for Concurrent Processes | 2011-09-02 | Paper |
| Concurrent Kleene algebra and its foundations | 2011-07-18 | Paper |
| Unraveling a Card Trick | 2010-09-07 | Paper |
| Graphical models of separation logic | 2010-08-20 | Paper |
| CSP is a retract of CCS | 2010-03-29 | Paper |
| Foundations of Concurrent Kleene Algebra | 2009-12-11 | Paper |
| Concurrent Kleene Algebra | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5447365 | 2008-03-06 | Paper |
| CSP Is a Retract of CCS | 2007-09-14 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| The verified software repository: a step towards the verifying compiler | 2006-10-25 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Communicating Sequential Processes. The First 25 Years | 2005-11-29 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736964 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471906 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417801 | 2003-07-30 | Paper |
| The mistreated model: Some technical comments on Porojan's paper on `Trade flows and spatial effects' | 2003-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767980 | 2002-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493873 | 2001-12-18 | Paper |
| A hard act to follow | 2000-12-04 | Paper |
| Linking theories in probabilistic programming | 2000-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934618 | 2000-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364533 | 1997-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885872 | 1997-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688938 | 1997-03-11 | Paper |
| Sequential calculus | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536898 | 1997-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4845486 | 1995-09-12 | Paper |
| Normal form approach to compiler design | 1994-06-02 | Paper |
| A model for synchronous switching circuits and its theory of correctness | 1993-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4040791 | 1993-06-05 | Paper |
| From algebra to operational semantics | 1993-05-16 | Paper |
| A calculus of durations | 1992-06-28 | Paper |
| A theory for the derivation of combination C-mos circuit designs | 1991-01-01 | Paper |
| Fixed points of increasing functions | 1990-01-01 | Paper |
| The laws of Occam programming | 1988-01-01 | Paper |
| Prespecification in data refinement | 1987-01-01 | Paper |
| Algebraic specification and proof of a distributed recovery algorithm | 1987-01-01 | Paper |
| The weakest prespecification | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030244 | 1987-01-01 | Paper |
| Laws of programming | 1987-01-01 | Paper |
| Corrigenda: laws of programming | 1987-01-01 | Paper |
| Specification-oriented semantics for communicating processes | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3713577 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740201 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3763567 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3338208 | 1985-01-01 | Paper |
| A Couple of Novelties in the Propositional Calculus | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681911 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709853 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3777424 | 1985-01-01 | Paper |
| Programs are predicates | 1984-01-01 | Paper |
| A Theory of Communicating Sequential Processes | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3700806 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4746773 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4746775 | 1982-01-01 | Paper |
| A calculus of total correctness for communicating processes | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3888522 | 1980-01-01 | Paper |
| Some Properties of Predicate Transformers | 1978-01-01 | Paper |
| Communicating sequential processes | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178455 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178458 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178459 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178465 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178472 | 1978-01-01 | Paper |
| Fast Fourier transform free from tears | 1977-01-01 | Paper |
| Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare | 1976-01-01 | Paper |
| Quasiparallel programming | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4117358 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4118804 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4124259 | 1976-01-01 | Paper |
| Matrix reduction—an efficient method | 1975-01-01 | Paper |
| Recursive data structures | 1975-01-01 | Paper |
| Parallel programming: An axiomatic approach | 1975-01-01 | Paper |
| An axiomatic definition of the programming language Pascal | 1974-01-01 | Paper |
| Consistent and complementary formal theories of the semantics of programming languages | 1974-01-01 | Paper |
| Monitors | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4772697 | 1974-01-01 | Paper |
| A structured paging system | 1973-01-01 | Paper |
| A general conservation law for queueing disciplines | 1973-01-01 | Paper |
| A note on the for statement | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5681533 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5684216 | 1972-01-01 | Paper |
| Proof of a structured program: 'The sieve of Eratosthenes' | 1972-01-01 | Paper |
| Proof of correctness of data representations | 1972-01-01 | Paper |
| Proof of a program | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626277 | 1971-01-01 | Paper |
| Program proving: KJumps and functions | 1971-01-01 | Paper |
| An axiomatic basis for computer programming | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5585023 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5183092 | 1968-01-01 | Paper |
| A contribution to the development of ALGOL | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5735570 | 1964-01-01 | Paper |
| The Elliott ALGOL input/output system | 1963-01-01 | Paper |
| Quicksort | 1962-01-01 | Paper |
| Quicksort | 1962-01-01 | Paper |
| The slide rule and how to use it: containing full, easy and simple instructions to perform all business calculation with unexampled rapidity and accuracy. (Technical Press Manuals.) | 1935-01-01 | Paper |
