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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.304.3 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |