@opfez ah yes, I saw. The paper khm linked talks about Io tho, which is what I was looking for. I'm familiar with CSP tho :)