Jifeng He at Oxford and beyond: an appreciation
From MaRDI portal
Publication:6118751
DOI10.1007/978-3-031-40436-8_1OpenAlexW4386515766MaRDI QIDQ6118751FDOQ6118751
Authors: Jonathan P. Bowen, Huibiao Zhu 
Publication date: 28 February 2024
Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-40436-8_1
General topics in the theory of software (68N01) Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Laws of programming
- Title not available (Why is that?)
- A calculus of communicating systems
- rCOS: a refinement calculus of object systems
- A calculus of durations
- Prespecification in data refinement
- Probabilistic models for the guarded command language
- The Rely-Guarantee method for verifying shared variable concurrent programs
- The weakest prespecification
- Title not available (Why is that?)
- Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4--5, 2016. Revised selected papers
- Normal form approach to compiler design
- A process algebraic framework for specification and validation of real-time systems
- From algebra to operational semantics
- Title not available (Why is that?)
- Advanced features of duration calculus and their applications in sequential hybrid programs
- CSP is a retract of CCS
- A specification-oriented semantics for the refinement of real-time systems
- Specification, verification and prototyping of an optimized compiler
- A new roadmap for linking theories of programming
- A hybrid relational modelling language
- A discrete geometric model of concurrent program execution
- A relational approach to an algebraic community: from Paul Erdős to He Jifeng
- 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
- An approach to the specification and verification of a hardware compilation scheme
- Theories of programming. The life and works of Tony Hoare
- Title not available (Why is that?)
- A predicative semantics for the refinement of real-time systems
- Transaction calculus (invited paper)
- Hoare and He’s Unifying Theories of Programming
- List of Tony Hoare’s Publications
- CSP Is a Retract of CCS
- Formal Methods for Components and Objects
- Review on Theories of Programming: The Life and Works of Tony Hoare
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)
