615 followers
@JulesJacobs5 Sure as long as it's expressed as p starts q; ...; q.reply -> p.x (https://t.co/eYto4mFhk9) or !x(y)...P...y<reply> (pi-calc). 😜
615 followers
@andrewkhirsch Ah, I understand. Here's a paper where processes can be created at runtime: https://t.co/eYto4mFhk9 We use that kind of thing a lot now. I've thought *many* times that it'd be cool to represent these processes as linear logic propositions
138 followers
... plus procedures [https://t.co/U7PfkrN7P6], programmable multi-communication constructs [https://t.co/lZZyqFmzH8], failure handling [https://t.co/XlWF93b8NB], and much more ...