On observing contracts: Deontic contracts meet smart contracts

Smart contracts have been proposed as executable implementations enforcing real-life contracts. Unfortunately, the semantic gap between these allows for the smart contract to diverge from its intended deontic behaviour. In this paper we show how a deontic contract can be used for real-time monitorin...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Azzopardi, S., Pace, G.J., Schapachnik, F., Palmirani M.
Formato: SER
Materias:
Blockchain
Contracts
Deontic logic
Monitoring
Smart contracts
Computer circuits
Crime
Semantics
Deontic
Deontic Logic
Interactive system
Real time monitoring
Semantic gap
Real time systems
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_09226389_v313_n_p21_Azzopardi
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares