| Publication | Date of Publication | Type |
|---|
| On algebra of program correctness and incorrectness | 2023-03-30 | Paper |
| scientific article; zbMATH DE number 7526279 (Why is no real title available?) | 2022-05-12 | Paper |
The 1980 ACM Turing Award Lecture
Theories of Programming | 2022-02-14 | Paper |
The Verified Software Initiative: A Manifesto
Theories of Programming | 2022-02-14 | Paper |
Envoi
Theories of Programming | 2022-02-14 | Paper |
ACM Interview
Theories of Programming | 2022-02-14 | Paper |
Communicating Sequential Processes
Theories of Programming | 2022-02-14 | Paper |
| A calculus of space, time, and causality: its algebra, geometry, logic | 2020-02-18 | Paper |
The verified software initiative
ACM Computing Surveys | 2019-08-09 | Paper |
A discrete geometric model of concurrent program execution
Unifying Theories of Programming | 2017-04-04 | Paper |
Developments in concurrent Kleene algebra
Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
Algebra unifies operational calculi
Unifying Theories of Programming | 2015-12-11 | Paper |
Exploring an interface model for CKA
Lecture Notes in Computer Science | 2015-08-27 | Paper |
Why ever CSP?
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Separation Logic Semantics for Communicating Processes
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Developments in concurrent Kleene algebra
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Verification of fine-grain concurrent programs
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Generic models of the laws of programming
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
Unifying Semantics for Concurrent Programming
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
In praise of algebra
Formal Aspects of Computing | 2013-03-22 | Paper |
The laws of programming unify process calculi
Lecture Notes in Computer Science | 2012-09-05 | Paper |
Net models for concurrent object behaviour
Lecture Notes in Computer Science | 2012-09-04 | Paper |
On locality and the exchange law for concurrent processes
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Concurrent Kleene algebra and its foundations
The Journal of Logic and Algebraic Programming | 2011-07-18 | Paper |
Unraveling a card trick
Time for Verification | 2010-09-07 | Paper |
Graphical models of separation logic
Information Processing Letters | 2010-08-20 | Paper |
CSP is a retract of CCS
Theoretical Computer Science | 2010-03-29 | Paper |
Foundations of concurrent Kleene algebra
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Concurrent Kleene Algebra
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
| Compensable transactions | 2008-03-06 | Paper |
CSP Is a Retract of CCS
Unifying Theories of Programming | 2007-09-14 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
The verified software repository: a step towards the verifying compiler
Formal Aspects of Computing | 2006-10-25 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Communicating Sequential Processes. The First 25 Years
Lecture Notes in Computer Science | 2005-11-29 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2086487 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2079805 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 1956470 (Why is no real title available?) | 2003-07-30 | Paper |
The mistreated model: Some technical comments on Porojan's paper on `Trade flows and spatial effects'
Open Economies Review | 2003-05-14 | Paper |
| Unifying theories for logic programming | 2002-01-30 | Paper |
| scientific article; zbMATH DE number 1487470 (Why is no real title available?) | 2001-12-18 | Paper |
A hard act to follow
Higher-Order and Symbolic Computation | 2000-12-04 | Paper |
Linking theories in probabilistic programming
Information Sciences | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1390329 (Why is no real title available?) | 2000-01-17 | Paper |
| scientific article; zbMATH DE number 1088217 (Why is no real title available?) | 1997-11-17 | Paper |
| scientific article; zbMATH DE number 910714 (Why is no real title available?) | 1997-10-29 | Paper |
| scientific article; zbMATH DE number 970745 (Why is no real title available?) | 1997-03-11 | Paper |
Sequential calculus
Information Processing Letters | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 1759984 (Why is no real title available?) | 1997-01-01 | Paper |
| scientific article; zbMATH DE number 795666 (Why is no real title available?) | 1995-09-12 | Paper |
Normal form approach to compiler design
Acta Informatica | 1994-06-02 | Paper |
A model for synchronous switching circuits and its theory of correctness
Formal Methods in System Design | 1993-09-30 | Paper |
| scientific article; zbMATH DE number 194003 (Why is no real title available?) | 1993-06-05 | Paper |
From algebra to operational semantics
Information Processing Letters | 1993-05-16 | Paper |
A calculus of durations
Information Processing Letters | 1992-06-28 | Paper |
A theory for the derivation of combination C-mos circuit designs
Theoretical Computer Science | 1991-01-01 | Paper |
Fixed points of increasing functions
Information Processing Letters | 1990-01-01 | Paper |
The laws of Occam programming
Theoretical Computer Science | 1988-01-01 | Paper |
Laws of programming
Communications of the ACM | 1987-01-01 | Paper |
Prespecification in data refinement
Information Processing Letters | 1987-01-01 | Paper |
The weakest prespecification
Information Processing Letters | 1987-01-01 | Paper |
Corrigenda: laws of programming
Communications of the ACM | 1987-01-01 | Paper |
Algebraic specification and proof of a distributed recovery algorithm
Distributed Computing | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4018375 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3974258 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4020448 (Why is no real title available?) | 1986-01-01 | Paper |
Specification-oriented semantics for communicating processes
Acta Informatica | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3943003 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4039251 (Why is no real title available?) | 1985-01-01 | Paper |
A Couple of Novelties in the Propositional Calculus
Mathematical Logic Quarterly | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3903946 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3871313 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3938525 (Why is no real title available?) | 1985-01-01 | Paper |
A Theory of Communicating Sequential Processes
Journal of the ACM | 1984-01-01 | Paper |
Programs are predicates
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3926215 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3802790 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3802791 (Why is no real title available?) | 1982-01-01 | Paper |
A calculus of total correctness for communicating processes
Science of Computer Programming | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3694577 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3614145 (Why is no real title available?) | 1978-01-01 | Paper |
Communicating sequential processes
Communications of the ACM | 1978-01-01 | Paper |
Some Properties of Predicate Transformers
Journal of the ACM | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3614159 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3614144 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3614151 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3614141 (Why is no real title available?) | 1978-01-01 | Paper |
Fast Fourier transform free from tears
The Computer Journal | 1977-01-01 | Paper |
Quasiparallel programming
Software: Practice and Experience | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3543615 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3550121 (Why is no real title available?) | 1976-01-01 | Paper |
Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare
Acta Informatica | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3541913 (Why is no real title available?) | 1976-01-01 | Paper |
Parallel programming: An axiomatic approach
Computer Languages | 1975-01-01 | Paper |
Recursive data structures
International Journal of Computer & Information Sciences | 1975-01-01 | Paper |
Matrix reduction—an efficient method
Communications of the ACM | 1975-01-01 | Paper |
Monitors
Communications of the ACM | 1974-01-01 | Paper |
An axiomatic definition of the programming language Pascal
Acta Informatica | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3448068 (Why is no real title available?) | 1974-01-01 | Paper |
Consistent and complementary formal theories of the semantics of programming languages
Acta Informatica | 1974-01-01 | Paper |
A structured paging system
The Computer Journal | 1973-01-01 | Paper |
A general conservation law for queueing disciplines
Information Processing Letters | 1973-01-01 | Paper |
Proof of correctness of data representations
Acta Informatica | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3421895 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3418623 (Why is no real title available?) | 1972-01-01 | Paper |
A note on the for statement
BIT | 1972-01-01 | Paper |
Proof of a structured program: 'The sieve of Eratosthenes'
The Computer Journal | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3351184 (Why is no real title available?) | 1971-01-01 | Paper |
Program proving: KJumps and functions
Acta Informatica | 1971-01-01 | Paper |
Proof of a program
Communications of the ACM | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3303657 (Why is no real title available?) | 1969-01-01 | Paper |
An axiomatic basis for computer programming
Communications of the ACM | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3431773 (Why is no real title available?) | 1968-01-01 | Paper |
A contribution to the development of ALGOL
Communications of the ACM | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3199251 (Why is no real title available?) | 1964-01-01 | Paper |
The Elliott ALGOL input/output system
The Computer Journal | 1963-01-01 | Paper |
Quicksort
The Computer Journal | 1962-01-01 | Paper |
Quicksort
The Computer Journal | 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 |
