<h1 id="computer-science-technical-reports"><a href="./">Computer
Science Technical Reports</a></h1>
<h2 id="section">(““)</h2>
<h3 id="articles-from-caltechauthors">Articles from <a
href="https://authors.library.caltech.edu">CaltechAUTHORS</a></h3>
<ul>
<li>Martin, Alain J. (1981) <a
href="https://resolver.caltech.edu/CaltechCSTR:1982.5046-tr-82">An
Axiomatic Definition of Synchronization Primitives</a>; Acta
Informatica; Vol. 16; No. 2; 219-235; <a
href="https://doi.org/10.1007/BF00261260">10.1007/BF00261260</a></li>
</ul>