A fixed-points based framework for compliance of behavioural contracts

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

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 120; p. 100641
Main Author Murgia, Maurizio
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.04.2021
Subjects
Compliance
Contracts
Session types
Compliance
Session types
Contracts
Online AccessGet full text

Cover

More Information
Summary:We study compliance relations between behavioural contracts in a syntax independent setting based on Labelled Transition Systems. We introduce a fixed-point based family of compliance relations, and show that many compliance relations appearing in literature belong to this family. We then study fix-compliance in the context of synchronous and asynchronous session contracts.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2021.100641