Congratulations, Troy! -- Erik P. Rau, PhD Director, Library Services Hagley Museum & Library P.O. Box 3630, 298 Buck Road Wilmington, DE 19807 302.658.2400, ext. 344 erau@hagley.org<mailto:erau@hagley.org> www.hagley.org<https://www.hagley.org> www.hagleyheritage.com<https://www.hagleyheritage.com> Sign up for Hagley Library’s monthly newsletter<https://hagley.us13.list-manage.com/subscribe?u=e3f033f6a8aff23df4ebe8649&id=fcaf9b03d5> to receive the latest research news, collection updates, upcoming events, and more. You can unsubscribe at any time. On 2023.Apr.26, at 13:38 , Troy Astarte via Members <members@lists.sigcis.org<mailto:members@lists.sigcis.org>> wrote: CAUTION: This email originated from outside the Hagley Network. Do not click on any links or attachments if you do not trust the sender of this message. ________________________________ 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 _______________________________________________ This email is relayed from members at sigcis.org<http://sigcis.org>, the email discussion list of SHOT SIGCIS. Opinions expressed here are those of the member posting and are not reviewed, edited, or endorsed by SIGCIS. The list archives are at http://lists.sigcis.org/pipermail/members-sigcis.org/ and you can change your subscription options at http://lists.sigcis.org/listinfo.cgi/members-sigcis.org