Event Structure Semantics of Parallel Extrusion in the Pi-Calculus.

Silvia Crafa, Daniele Varacca, Nobuko Yoshida

Browse the full FOSSACS paper archive.