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

page 1

page 2

page 3

page 4

research
03/09/2019

Analyzing the Impact of GDPR on Storage Systems

The recently introduced General Data Protection Regulation (GDPR) is for...
research
08/09/2020

Tactics for Internal Compliance: A Literature Review

Compliance of organizations with internal and external norms is a highly...
research
05/21/2020

Design Challenges for GDPR RegTech

The Accountability Principle of the GDPR requires that an organisation c...
research
09/11/2019

Solving Financial Regulatory Compliance Using Software Contracts

Ensuring compliance with various laws and regulations is of utmost prior...
research
06/30/2023

An ontological approach to compliance verification of the NIS 2 directive

Cybersecurity, which notoriously concerns both human and technological a...
research
08/09/2022

Classification of electromagnetic interference induced image noise in an analog video link

With the ever-increasing electrification of the vehicle showing no sign ...
research
07/26/2000

Entrenchment Relations: A Uniform Approach to Nonmonotonicity

We show that Gabbay's nonmonotonic consequence relations can be reduced ...

Please sign up or login with your details

Forgot password? Click here to reset