7 citations · 15 across the 6 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 7 cited
Contracts for Interacting Two-Party Systems
Gordon J. Pace, Fernando Schapachnik
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-ba…
cs.SE2012★ 1 cited
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software
Gordon J. Pace, Anders P. Ravn
The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level mode…