Contract agreements via logic

MaRDI QIDQ4994119zbMATH OpenFDO

Authors Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino

Publication date 17 June 2021

Full work available at URL https://arxiv.org/abs/1306.0026, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2013.2

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Contracts as games on event structures
• A theory of agreements and protection
• scientific article; zbMATH DE number 1231590
• Contracts, games, and refinement.
• Model Checking Contracts – A Case Study

Cited in

(11)

• Model Checking Contracts – A Case Study
• Contracts as games on event structures
• Challenges in the Specification of Full Contracts
• A Formal Language for Electronic Contracts
• Debits and Credits in Petri Nets and Linear Logic
• A theory of agreements and protection
• Contracts, games, and refinement.
• Modal epistemic logic on contracts: a doctrinal approach
• Model checking contractual protocols
• Whither Formal Contracts?
• A note on two notions of compliance

This page was built for publication: Contract agreements via logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4994119)