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

[Erik Rau]

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 at hagley.org<mailto:erau at 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 at lists.sigcis.org<mailto:members at 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

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