Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.

The Largest Respectful Function

Abstract

Respectful functions were introduced by Sangiorgi as a compositional tool toformulate short and clear bisimulation proofs. Usually, the larger therespectful function, the easier the bisimulation proof. In particular thelargest respectful function, defined as the pointwise union of all respectfulfunctions, has been shown to be very useful. We here provide an explicit andconstructive characterization of it

Similar works

Full text

thumbnail-image

Episciences.org

redirect
Last time updated on 02/12/2023

This paper was published in Episciences.org.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.