A Note On Compliance Relations And Fixed Points

09/12/2019
by   Maurizio Murgia, et al.
0

We study compliance relations between behavioural contracts in a syntax independent setting based on Labelled Transition Systems. We introduce a fix-point based family of compliance relations, and show that many compliance relations appearing in literature belong to this family.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset