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

Troy Astarte t.k.astarte at swansea.ac.uk
Wed Apr 26 10:38:47 PDT 2023

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


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>

More information about the Members mailing list