Jifeng He at Oxford and beyond: an appreciation
From MaRDI portal
Publication:6118751
Recommendations
Cites work
- scientific article; zbMATH DE number 3943003 (Why is no real title available?)
- scientific article; zbMATH DE number 3974258 (Why is no real title available?)
- scientific article; zbMATH DE number 4020448 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 1949639 (Why is no real title available?)
- scientific article; zbMATH DE number 1852174 (Why is no real title available?)
- A calculus of communicating systems
- A calculus of durations
- A discrete geometric model of concurrent program execution
- A hybrid relational modelling language
- A new roadmap for linking theories of programming
- A predicative semantics for the refinement of real-time systems
- A process algebraic framework for specification and validation of real-time systems
- A relational approach to an algebraic community: from Paul Erdős to He Jifeng
- A specification-oriented semantics for the refinement of real-time systems
- Advanced features of duration calculus and their applications in sequential hybrid programs
- An approach to the specification and verification of a hardware compilation scheme
- CSP Is a Retract of CCS
- CSP is a retract of CCS
- Formal Methods for Components and Objects
- From algebra to operational semantics
- Hoare and He’s Unifying Theories of Programming
- Laws of programming
- List of Tony Hoare’s Publications
- Normal form approach to compiler design
- Prespecification in data refinement
- Probabilistic models for the guarded command language
- Review on Theories of Programming: The Life and Works of Tony Hoare
- Specification, verification and prototyping of an optimized compiler
- The Rely-Guarantee method for verifying shared variable concurrent programs
- The weakest prespecification
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday
- Theories of programming. The life and works of Tony Hoare
- Transaction calculus (invited paper)
- Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4--5, 2016. Revised selected papers
- rCOS: a refinement calculus of object systems
This page was built for publication: Jifeng He at Oxford and beyond: an appreciation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6118751)