A Note On Compliance Relations And Fixed Points.

Maurizio Murgia
(Università degli Studi di Cagliari)

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.

In Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou and Alceste Scalas: Proceedings 12th Interaction and Concurrency Experience (ICE 2019), Copenhagen, Denmark, 20-21 June 2019, Electronic Proceedings in Theoretical Computer Science 304, pp. 38–47.
Published: 12th September 2019.

ArXived at: https://dx.doi.org/10.4204/EPTCS.304.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org