The Largest Respectful Function

Joachim Parrow, Tjark Weber

Respectful functions were introduced by Sangiorgi as a compositional tool to formulate short and clear bisimulation proofs. Usually, the larger the respectful function, the easier…