@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). 😜
659 followers
659 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 ...
653 followers
#arxiv Privacy Assessment of Software Architectures based on Static Taint Analysis https://t.co/i96ddkcbDc