Contracts for Interacting Two-Party Systems

Contracts for Interacting Two-Party Systems

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. Su...

Full description

Bibliographic Details
Main Authors: Gordon J. Pace, Fernando Schapachnik
Format: Article
Language:English
Published: Open Publishing Association 2012-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1209.2238v1
id doaj-cfbf8b0b326148ab9c70f616aecaab49
record_format Article
spelling doaj-cfbf8b0b326148ab9c70f616aecaab492020-11-24T23:54:14ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802012-09-0194Proc. FLACOS 2012213010.4204/EPTCS.94.3Contracts for Interacting Two-Party SystemsGordon J. PaceFernando SchapachnikThis 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.http://arxiv.org/pdf/1209.2238v1
collection DOAJ
language English
format Article
sources DOAJ
author Gordon J. Pace
Fernando Schapachnik
spellingShingle Gordon J. Pace
Fernando Schapachnik
Contracts for Interacting Two-Party Systems
Electronic Proceedings in Theoretical Computer Science
author_facet Gordon J. Pace
Fernando Schapachnik
author_sort Gordon J. Pace
title Contracts for Interacting Two-Party Systems
title_short Contracts for Interacting Two-Party Systems
title_full Contracts for Interacting Two-Party Systems
title_fullStr Contracts for Interacting Two-Party Systems
title_full_unstemmed Contracts for Interacting Two-Party Systems
title_sort contracts for interacting two-party systems
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2012-09-01
description 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.
url http://arxiv.org/pdf/1209.2238v1
work_keys_str_mv AT gordonjpace contractsforinteractingtwopartysystems
AT fernandoschapachnik contractsforinteractingtwopartysystems
_version_ 1725466579740655616

Similar Items