[SIGCIS-Members] Two papers on the history of concurrency

[Troy Astarte]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.sigcis.org/pipermail/members-sigcis.org/attachments/20230426/661921ba/attachment.htm>