FYI.
I have added into the Intro-to-ATS book a section on implementing linear
channels for IPC:
http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/INT2PROGINATS-BOOK.html
It is currently at the bottom of the above page.
FYI.
I have added into the Intro-to-ATS book a section on implementing linear
channels for IPC:
http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/INT2PROGINATS-BOOK.html
It is currently at the bottom of the above page.