test
Search publications, data, projects and authors

Text

Undefined

ID: <

10670/1.czldy8

>

·

DOI: <

10.4204/eptcs.94.3

>

Where these data come from
Contracts for Interacting Two-Party Systems
Disciplines

Abstract

This article deals with the interrelation of deontic operators in contracts -- an aspect often neglected when considering only one of the involved parties. On top of an automata-based semantics we formalise the onuses that obligations, permissions and prohibitions on one party impose on the other. Such formalisation allows for a clean notion of contract strictness and a derived notion of contract conflict that is enriched with issues arising from party interdependence. Comment: In Proceedings FLACOS 2012, arXiv:1209.1699

Your Feedback

Please give us your feedback and help us make GoTriple better.
Fill in our satisfaction questionnaire and tell us what you like about GoTriple!