Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/24036| Title: | Contracts for interacting two-party systems |
| Authors: | Pace, Gordon J. Schapachnik, Fernando |
| Keywords: | Machine theory Conditional expectations (Mathematics) Deontic logic Contracts |
| Issue Date: | 2012 |
| Publisher: | Cornell University |
| Citation: | Pace, G. J., & Schapachnik, F. (2012). Contracts for interacting two-party systems. Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, Bertinoro. 1-10. |
| 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. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/24036 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Contracts_for_Interacting_Two-Party_Systems.pdf | 82.32 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.