Jonathan Bowen m'a appris le décès de Tony Hoare jeudi 5 mars.
https://en.wikipedia.org/wiki/Tony_Hoare
Tony Hoare est un de mes maîtres via ses écrits dont :
Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R. (1972). Structured Programming. Academic Press. ISBN 978-0-12-200550-3. OCLC 23937947.
C. A. R. Hoare (1985). Communicating Sequential Processes. Prentice Hall International Series in Computer Science. ISBN 978-0131532717 (hardback) or ISBN 978-0131532892 (paperback). (Available online at http://www.usingcsp.com/ Archived 1 February 2021 at the Wayback Machine in PDF format.)Je vous renvoie à
https://www.researchgate.net/profile/Jonathan-Bowen-2/publication/251422442_Oral_History_of_Sir_Antony_Hoare/links/6071ada14585150fe999e6de/Oral-History-of-Sir-Antony-Hoare.pdf
et à FACTS
T Denvir, J He, CB Jones, AW Roscoe, J Stoy, B Sufrin, JP Bowen
FACS FACTS 2024 (2), 5-42