Marco Bernardo 0001. Towards General Axiomatizations for Bisimilarity and Trace Semantics. In Markus Roggenbach, editor, Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers. Volume 12669 of Lecture Notes in Computer Science, pages 31-53, Springer, 2020. [doi]
Abstract is missing.