Registro:

Referencias:

• Arnold, A., Nivat’s processes and their synchronization (2002) Theor Comput Sci, 281, pp. 31-36
• Azzopardi, S., Extending contract automata with reparation, hypothetical and conditional clauses (2014) Technical report University of Malta
• Azzopardi, S., Pace, G.J., Schapachnik, F., Contract automata with reparations. In: Legal knowledge and information systems—JURIX 2014: the twenty-seventh annual conference, Jagiellonian University, Krakow, Poland, 10–12 December 2014, Frontiers in artificial intelligence and applications, vol 271, pp 49–54 (2014) IOS Press
• Basile, D., Degano, P., Ferrari, G.L., Automata for analysing service contracts. In: Trustworthy global computing—9th international symposium, TGC 2014, Rome, Italy, 5–6 Sept, 2014. Revised Selected Papers, Lecture notes in computer science, vol 8902, pp 34–50 (2014) Springer
• Bench-Capon, T.J.M., Analysing norms with transition systems. In: Legal knowledge and information systems—JURIX 2014: the twenty-seventh annual conference, Jagiellonian University, Krakow, Poland, 10–12 Dec 2014, Frontiers in artificial intelligence and applications, vol 271, pp 29–38 (2014) IOS Press
• Díaz, G., Cambronero, M.E., Martínez, E., Schneider, G., Timed automata semantics for visual e-contracts (2011) 5th international workshop on formal languages and analysis of contract-oriented software (FLACOS’11), electronic proceedings in theoretical computer science, vol 68, pp. 7-21. , Málaga, Spain
• Díaz, G., Cambronero, M.E., Martínez, E., Schneider, G., Specification and verification of normative texts using C-O diagrams (2013) IEEE Trans Softw Eng, 99, p. 1
• Fasli, M., On commitments, roles, and obligations. In: Revised papers from the second international workshop of central and eastern Europe on multi-agent systems: from theory to practice in multi-agent systems, CEEMAS ’01, pp 93–102 (2002) Springer
• Fenech, S., Pace, G.J., Schneider, G., Automatic conflict detection on contracts. In: ICTAC’09, LNCS, vol 5684, pp 200–214 (2009) Springer
• Fenech, S., Pace, G.J., Schneider, G., CLAN: a tool for contract analysis and conflict discovery. In: ATVA’09, LNCS, vol 5799, pp 90–96 (2009) Springer
• Flood, M.D., Goodenough, O.R., Contract as automaton: the computational representation of financial agreements (2014) Available at SSRN, , 2538224
• Governatori, G., Representing business contracts in RuleML (2005) Int J Coop Inf Syst, 14 (2-3), pp. 181-216
• Governatori, G., Milosevic, Z., Dealing with contract violations: formalism and domain specific language. In: EDOC enterprise computing conference, 2005 ninth IEEE international, pp 46–57 (2005) IEEE
• Hage, J., Contrary to duty obligations—a study in legal ontology (2001) In: Legal knowledge and information systems (JURIX 2001)
• Herrestad, H., Krogh, C., Deontic logic relativised to bearers and counterparties (1995) Anniv Anthol Comput Law, pp. 453-522
• Hohfeld, W., Some fundamental legal conceptions as applied in judicial reasoning (1913) Yale Lj, 23, p. 16
• Kanger, S., Kanger, H., Rights and parliamentarism (1966) Theoria, 32 (2), pp. 85-115
• Kripke, S., Semantical considerations on modal logic (1963) Acta Philos Fenn, 16, pp. 83-94
• Kyas, M., Prisacariu, C., Schneider, G., Run-time monitoring of electronic contracts (2008) 6th international symposium on automated technology for verification and analysis (ATVA’08), LNCS, 5311, pp. 397-407. , Springer, Seoul
• Leucker, M., Schallhart, C., A brief account of runtime verification (2009) J Log Algebr Program, 78 (5), pp. 293-303
• Lindahl, L., (1977) Position and change: a study in law and logic, , 112, Springer, Berlin
• Makinson, D., On the formal representation of rights relations (1986) J Philos Log, 15 (4), pp. 403-425
• Marjanovic, O., Milosevic, Z., Towards formal modeling of e-contracts (2001) Proceedings of the 5th IEEE international conference on enterprise distributed object computing, EDOC ’01, pp. 59-68. , IEEE Computer Society, Washington
• Martínez, E., Díaz, G., Cambronero, M., Contractually compliantservice compositions (2011) Proceedings of the 9th international conference on service-oriented computing (ICSOC’11), Lecture notes in computer science, vol 7084, pp. 636-644. , Springer, Berlin, Paphos
• Martínez, E., Díaz, G., Cambronero, M.E., Schneider, G., A modelfor visual specification of e-contracts (2010) The 7th IEEE international conference on services computing (IEEE SCC’10), pp. 1-8. , IEEE Computer Society, Miami
• McNamara, P., Deontic logic (2006) Handbook of the history of logic, pp. 197-289. , Gabbay DM, Woods J, (eds), 7, North-Holland Publishing, Amsterdam
• Mikk, E., Lakhnech, Y., Siegel, M., (1997) Hierarchical automata as model for statecharts. In: Third Asian computing science conference. Advances in computing science—ASIAN’97, , Lecture notes in computer science, vol: Springer
• Pace, G.J., Schapachnik, F., Permissions in contracts, a logical insight (2011) The 24th international conference on legal knowledge and information systems (JURIX’11), Frontiers in artificial intelligence and applications, 235. , IOS Press, University of Vienna, Austria
• Pace, G.J., Schapachnik, F., Permissions in contracts, a logical insight. In: JURIX (2011) pp 140–144
• Pace, G.J., Schapachnik, F., Contracts for interacting two-party systems. In: FLACOS’12, ENTCS (2012) vol 94
• Pace, G.J., Schapachnik, F., Types of rights in two-party systems: a formal analysis. In: Legal knowledge and information systems—JURIX 2012: the twenty-fifth annual conference, University of Amsterdam, The Netherlands, 17–19 Dec 2012, Frontiers in artificial intelligence and applications, vol 250, pp 105–114 (2012) IOS Press
• Pace, G.J., Schapachnik, F., Synthesising implicit contracts. In:ICAIL’13. ACM, New York (2013) pp 217–221
• Pardo, R., Colombo, C., Pace, G., Schneider, G., (2016) (2016) An automata-based approach to evolving privacy policies for social networks. In: 16th international conference on runtime verification (RV) (Madrid, , Spain: LNCS
• Prisacariu, C., Schneider, G., A formal language for electronic contracts. In: FMOODS, LNCS, vol 4468, pp 174–189 (2007) Springer
• Prisacariu, C., Schneider, G., CL: an action-based logic for reasoning about contracts. In: WOLLIC’09, LNCS, vol 5514, pp 335–349 (2009) Springer
• Prisacariu, C., Schneider, G., A dynamic deontic logic for complex contracts (2012) J Log Algebr Program, 81 (4), pp. 458-490
• Ryu, Y., Specification of contractual obligations in formal business communication (1998) Data Knowl Eng, 26 (3), pp. 309-326
• Salcianu, A., Rinard, M., Pointer and escape analysis for multithreaded programs. In: ACM SIGPLAN notices, vol 36, pp 12–23 (2001) ACM
• Santos, F., Jones, A., Carmo, J., Action concepts for describing organised interaction. In: Proceedings of the thirtieth Hawaii international conference on system sciences, 1997, vol 5, pp 373–382 (1997) IEEE
• Surdan, H., Computable contracts (2012) UCDL Rev, 46, p. 629
• Tan, Y.H., Thoen, W., A logical model of directed obligations and permissions to support electronic contracting (1998) Int J Electron Commer, 3, pp. 87-104
• Von Wright, G., Deontic logic: a personal view (1999) Ratio Juris, 12, pp. 26-38
• Xu, L., A multi-party contract model (2004) SIGecom Exch, 5 (1), pp. 13-23

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------