Programming Channel Processes

See The Polyadic pi-Calculus: A Tutorial and https://github.com/IanANGrant/red-october/.../AbstractArray.sml, which shows I don't really know what I'm 🦜 ing about! 

Sorry, I have tried several times to make Robin's tutorial available in a PDF but there are always problems of one sort or another. Try this, but YMMV: https://courses.cs.vt.edu/~cs5204/fall02/Papers/PICalculus/milner_4.pdf Google (chrome, maybe?) seems to deliberately corrupt the URL's and Semantic Scholar links don't work for me either.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023