Dear list,

I am happy to share with you two recent Open access publications coming from the Leverhulme Trust funded project on the history of concurrency led by my colleague Cliff Jones.

Jones, C.B. Three Early Formal Approaches to the Verification of Concurrent Programs. Minds & Machines (2023). https://doi.org/10.1007/s11023-023-09621-5

Astarte, T.K. From Monitors to Monitors: A Primitive History. Minds & Machines (2023). https://doi.org/10.1007/s11023-023-09632-2
Best,

Dr. Troy Kaighin Astarte (they/them / nhw) ðŸ“± 

I am currently dictating messages due to RSI. Please forgive any strange spelling.
 
Lecturer, Computer Science / Darlithydd, Cyfrifiadureg 
Swansea University / Prifysgol Abertawe