642 followers
#arXiv #cs_LO "On Hierarchical Communication Topologies in the pi-calculus. (arXiv:1601.01725v2 [cs.PL] UPDATED)" https://t.co/w3FlFx1Nwa
#arXiv #cs_LO "On Hierarchical Communication Topologies in the pi-calculus. (arXiv:1601.01725v2 [cs.PL] UPDATED)" https://t.co/w3FlFx1Nwa
My new paper with L. Ong "On Hierarchical Communication Topologies in the pi-calculus" accepted at #ESOP16 https://t.co/yRQJEBDd5g