21 citations · 78 across the 18 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.CL2011★ 7 cited
From Contracts in Structured English to CL Specifications
Seyed M. Montazeri, Nivir K. S. Roy, Gerardo Schneider
In this paper we present a framework to analyze conflicts of contracts written in structured English. A contract that has manually been rewritten in a structured English is automat…
cs.LO2011★ 3 cited
Timed Automata Semantics for Visual e-Contracts
Enrique Martínez, M. Emilia Cambronero, Gregorio Díaz +1
C-O Diagrams have been introduced as a means to have a more visual representation of electronic contracts, where it is possible to represent the obligations, permissions and prohib…