Contracts for Interacting Two-Party Systems

Gordon J. Pace
(University of Malta)
Fernando Schapachnik
(Universidad de Buenos Aires)

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.

In Gordon J. Pace and Anders P. Ravn: Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2012), Bertinoro, Italy, 19 September 2012, Electronic Proceedings in Theoretical Computer Science 94, pp. 21–30.
Published: 8th September 2012.

ArXived at: https://dx.doi.org/10.4204/EPTCS.94.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org