Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Pattern calculus
open-in-new
<h2 id="external-links">External links</h2> <ul><li><a href="https://web.archive.org/web/20120327091406/http://www-staff.it.uts.edu.au/~cbj/patterns/">Archive mirror of the links below (which are no longer online)</a></li> <li>Jay, C. Barry (November 2004). <a href="https://doi.org/10.1145%2F1034774.1034775">"The pattern calculus"</a>. <i>ACM Trans. Program. Lang. Syst</i>. 26 (6): 911–937. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1145%2F1034774.1034775">10.1145/1034774.1034775</a>. <a href="/facts/S2CID_(identifier)/ldJsHa2Y">S2CID</a> <a href="https://api.semanticscholar.org/CorpusID:14252624">14252624</a>. — the original paper, but not most general.</li> <li>Jay, B.; Kesner, D. (2006). "Pure Pattern Calculus". In Sestoft, P. (ed.). <i>Programming Languages and Systems. ESOP 2006</i>. Lecture Notes in Computer Science. Vol. 3924. Springer. pp. 100–114. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2F11693024_8">10.1007/11693024_8</a>. <a href="/facts/Hdl_(identifier)/rdebSxmC">hdl</a>:<a href="https://hdl.handle.net/10453%2F1684">10453/1684</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-33096-7.</li> <li>Jay, Barry (2009). <a href="https://link.springer.com/book/10.1007/978-3-540-89185-7"><i>Pattern Calculus: Computing with Functions and Structures</i></a>. Springer. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2F978-3-540-89185-7">10.1007/978-3-540-89185-7</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-540-89185-7.</li> <li><a href="http://bondi.it.uts.edu.au/">bondi programming language research site</a></li> <li>Given-Wilson, T.; Gorla, D.; Jay, B. (2010). "Concurrent Pattern Calculus". In Calude, C.S.; Sassone, V. (eds.). <i>Theoretical Computer Science. TCS 2010</i>. IFIP Advances in Information and Communication Technology. Vol. 323. Springer. <a href="/facts/Doi_(identifier)/muM9Etpq">doi</a>:<a href="https://doi.org/10.1007%2F978-3-642-15240-5_18">10.1007/978-3-642-15240-5_18</a>. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-3-642-15240-5.</li></ul>