Jifeng He at Oxford and beyond: an appreciation
From MaRDI portal
Publication:6118751
DOI10.1007/978-3-031-40436-8_1OpenAlexW4386515766MaRDI QIDQ6118751
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
Biographies, obituaries, personalia, bibliographies (01A70) General topics in the theory of software (68N01) History of computer science (68-03)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4--5, 2016. Revised selected papers
- Prespecification in data refinement
- Advanced features of duration calculus and their applications in sequential hybrid programs
- rCOS: a refinement calculus of object systems
- CSP is a retract of CCS
- A process algebraic framework for specification and validation of real-time systems
- The weakest prespecification
- A calculus of communicating systems
- A calculus of durations
- From algebra to operational semantics
- Normal form approach to compiler design
- A specification-oriented semantics for the refinement of real-time systems
- Specification, verification and prototyping of an optimized compiler
- Probabilistic models for the guarded command language
- The Rely-Guarantee method for verifying shared variable concurrent programs
- A hybrid relational modelling language
- 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
- A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng
- A Discrete Geometric Model of Concurrent Program Execution
- A New Roadmap for Linking Theories of Programming
- Transaction Calculus
- Laws of programming
- Hoare and He’s Unifying Theories of Programming
- List of Tony Hoare’s Publications
- Theories of Programming
- CSP Is a Retract of CCS
- A predicative semantics for the refinement of real-time systems
- Formal Methods for Components and Objects
- An approach to the specification and verification of a hardware compilation scheme
- Review on Theories of Programming: The Life and Works of Tony Hoare
