A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus.

Thomas Troels Hildebrandt, Christian Johansen, Hkon Normann

Browse the full LATA paper archive.