Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
malta13 [2013/06/16 23:17] cesar.sanchez |
malta13 [2013/06/17 14:02] pace |
||
|---|---|---|---|
| Line 233: | Line 233: | ||
| ** Contract Analysis ** | ** Contract Analysis ** | ||
| //Gordon J. Pace// | //Gordon J. Pace// | ||
| + | |||
| + | The analysis of contracts to regulating interactive systems poses various challenges, but | ||
| + | is closely linked to the notions of concurrency and synchrony. We present a number of | ||
| + | recent results which take an automaton-based approach to model such contracts. We show how | ||
| + | obligations, permissions and prohibitions can be formalised and how the norms on one of the | ||
| + | parties sometimes imposes constraints 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. | ||
| + | |||
| + | //Joint work with Fernando Schapachnik and Gerardo Schneider.// | ||
| ---- | ---- | ||