Jifeng He at Oxford and beyond: an appreciation
From MaRDI portal
Publication:6118751
Recommendations
Cites work
- Q3713577 scientific article; zbMATH DE number 3943003 (Why is no real title available?)
- Q3740201 scientific article; zbMATH DE number 3974258 (Why is no real title available?)
- Q3763567 scientific article; zbMATH DE number 4020448 (Why is no real title available?)
- Q3777424 scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- Q4412558 scientific article; zbMATH DE number 1949639 (Why is no real title available?)
- Q4787253 scientific article; zbMATH DE number 1852174 (Why is no real title available?)
- A calculus of communicating systems A calculus of communicating systems
- A calculus of durations A calculus of durations
- A discrete geometric model of concurrent program execution A discrete geometric model of concurrent program execution
- A hybrid relational modelling language A hybrid relational modelling language
- A new roadmap for linking theories of programming A new roadmap for linking theories of programming
- A predicative semantics for the refinement of real-time systems A predicative semantics for the refinement of real-time systems
- A process algebraic framework for specification and validation 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 relational approach to an algebraic community: from Paul Erdős to He Jifeng
- A specification-oriented semantics for the refinement of real-time systems A specification-oriented semantics for the refinement of real-time systems
- Advanced features of duration calculus and their applications in sequential hybrid programs Advanced features of duration calculus and their applications in sequential hybrid programs
- An approach to the specification and verification of a hardware compilation scheme An approach to the specification and verification of a hardware compilation scheme
- CSP Is a Retract of CCS CSP Is a Retract of CCS
- CSP is a retract of CCS CSP is a retract of CCS
- Formal Methods for Components and Objects Formal Methods for Components and Objects
- From algebra to operational semantics From algebra to operational semantics
- Hoare and He’s Unifying Theories of Programming Hoare and He’s Unifying Theories of Programming
- Laws of programming Laws of programming
- List of Tony Hoare’s Publications List of Tony Hoare’s Publications
- Normal form approach to compiler design Normal form approach to compiler design
- Prespecification in data refinement Prespecification in data refinement
- Probabilistic models for the guarded command language Probabilistic models for the guarded command language
- Review on <i>Theories of Programming: The Life and Works of Tony Hoare</i> Review on Theories of Programming: The Life and Works of Tony Hoare
- Specification, verification and prototyping of an optimized compiler Specification, verification and prototyping of an optimized compiler
- The Rely-Guarantee method for verifying shared variable concurrent programs The Rely-Guarantee method for verifying shared variable concurrent programs
- The weakest prespecification The weakest prespecification
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP 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 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 Theories of programming. The life and works of Tony Hoare
- Transaction calculus (invited paper) Transaction calculus (invited paper)
- Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4--5, 2016. Revised selected papers 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 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)
