Login / Signup

Preservation and Reflection of Bisimilarity via Invertible Steps.

Ruben TurkenburgClemens KupkeJurriaan RotEzra Schoen
Published in: FoSSaCS (2023)
Keyphrases