Strong Bisimulation for the Explicit Fusion Calculus.

Lucian Wischik, Philippa Gardner

Browse the full FOSSACS paper archive.