Preservation and Reflection of Bisimilarity via Invertible Steps.

Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen

Browse the full FOSSACS paper archive.