<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body dir="auto">
Dear list,
<div><br>
</div>
<div>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.</div>
<div><br>
</div>
<div><span style="font-size: 16px; caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; -webkit-text-size-adjust: 100%; background-color: rgb(252, 252, 252);">Jones,
C.B. Three Early Formal Approaches to the Verification of Concurrent Programs. </span><i style="font-size: 16px; margin: 0px; box-sizing: inherit; margin-block: 0px; caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; -webkit-text-size-adjust: 100%;">Minds
& Machines</i><span style="font-size: 16px; caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; -webkit-text-size-adjust: 100%; background-color: rgb(252, 252, 252);"> (2023).
https://doi.org/10.1007/s11023-023-09621-5</span></div>
<div><font color="#333333" face="-apple-system, BlinkMacSystemFont, Segoe UI, Roboto, Oxygen-Sans, Ubuntu, Cantarell, Helvetica Neue, sans-serif" size="3"><span style="caret-color: rgb(51, 51, 51); -webkit-text-size-adjust: 100%; background-color: rgb(252, 252, 252);"><br>
</span></font></div>
<div><span style="font-size: 16px; caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; -webkit-text-size-adjust: 100%; background-color: rgb(252, 252, 252);">Astarte,
T.K. From Monitors to Monitors: A Primitive History. </span><i style="font-size: 16px; margin: 0px; box-sizing: inherit; margin-block: 0px; caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; -webkit-text-size-adjust: 100%;">Minds
& Machines</i><span style="font-size: 16px; caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; -webkit-text-size-adjust: 100%; background-color: rgb(252, 252, 252);"> (2023).
https://doi.org/10.1007/s11023-023-09632-2</span></div>
<div><font color="#333333" face="-apple-system, BlinkMacSystemFont, Segoe UI, Roboto, Oxygen-Sans, Ubuntu, Cantarell, Helvetica Neue, sans-serif" size="3"><span style="caret-color: rgb(51, 51, 51); -webkit-text-size-adjust: 100%; background-color: rgb(252, 252, 252);"><br>
</span></font>
<div dir="ltr"><span style="background-color: rgba(255, 255, 255, 0);">Best,<br class="">
<br class="">
Dr. Troy Kaighin Astarte (they/them / nhw) </span>📱
<div><span style="background-color: rgba(255, 255, 255, 0);"><br>
</span></div>
<div><span style="background-color: rgba(255, 255, 255, 0);">I am currently dictating messages due to RSI. Please forgive any strange spelling.<br class="">
<br class="">
Lecturer, Computer Science / Darlithydd, Cyfrifiadureg <br class="">
Swansea University / Prifysgol Abertawe</span>
<div><span style="background-color: rgba(255, 255, 255, 0);"><br>
</span></div>
</div>
</div>
</div>
</body>
</html>