The following pages link to C. A. R. Hoare (Q578899):
Displaying 49 items.
- (Q299197) (redirect page) (← links)
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Prespecification in data refinement (Q578901) (← links)
- Sequential calculus (Q674261) (← links)
- A model for synchronous switching circuits and its theory of correctness (Q685112) (← links)
- A theory for the derivation of combination C-mos circuit designs (Q808726) (← links)
- Fixed points of increasing functions (Q909682) (← links)
- CSP is a retract of CCS (Q960852) (← links)
- Graphical models of separation logic (Q989553) (← links)
- Specification-oriented semantics for communicating processes (Q1060838) (← links)
- Algebraic specification and proof of a distributed recovery algorithm (Q1090102) (← links)
- The weakest prespecification (Q1091121) (← links)
- A calculus of total correctness for communicating processes (Q1164413) (← links)
- A calculus of durations (Q1183485) (← links)
- From algebra to operational semantics (Q1209325) (← links)
- Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare (Q1225928) (← links)
- Normal form approach to compiler design (Q1323320) (← links)
- A hard act to follow (Q1566869) (← links)
- The mistreated model: Some technical comments on Porojan's paper on `Trade flows and spatial effects' (Q1870480) (← links)
- In praise of algebra (Q1941861) (← links)
- Linking theories in probabilistic programming (Q1961866) (← links)
- A calculus of space, time, and causality: its algebra, geometry, logic (Q2296282) (← links)
- The verified software repository: a step towards the verifying compiler (Q2432233) (← links)
- Program proving: KJumps and functions (Q2550288) (← links)
- Proof of correctness of data representations (Q2554952) (← links)
- An axiomatic definition of the programming language Pascal (Q2560721) (← links)
- Consistent and complementary formal theories of the semantics of programming languages (Q2561836) (← links)
- A general conservation law for queueing disciplines (Q2563011) (← links)
- The laws of Occam programming (Q2640348) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- (Q2767980) (← links)
- Generic Models of the Laws of Programming (Q2842638) (← links)
- Verification of Fine-grain Concurrent Programs (Q2870197) (← links)
- Net Models for Concurrent Object Behaviour (Q2908195) (← links)
- The Laws of Programming Unify Process Calculi (Q2908555) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- A Discrete Geometric Model of Concurrent Program Execution (Q2971172) (← links)
- (Q3030244) (← links)
- On Locality and the Exchange Law for Concurrent Processes (Q3090834) (← links)
- Concurrent Kleene Algebra (Q3184688) (← links)
- The Elliott ALGOL input/output system (Q3293695) (← links)
- (Q3338208) (← links)
- Programs are predicates (Q3347251) (← links)
- Fast Fourier transform free from tears (Q4118784) (← links)
- Why ever CSP? (Q5262968) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
- A structured paging system (Q5678418) (← links)
- Proof of a structured program: 'The sieve of Eratosthenes' (Q5684221) (← links)
