Normal Bisimulations in Calculi with Passivation.

Sergue Lenglet, Alan Schmitt, Jean-Bernard Stefani

Browse the full FOSSACS paper archive.