Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

A Temporal Epistemic Logic with a Non-rigid Set of Agents for Analyzing the Blockchain Protocol (CROSBI ID 265001)

Prilog u časopisu | ostalo | međunarodna recenzija

Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran ; Studer, Thomas A Temporal Epistemic Logic with a Non-rigid Set of Agents for Analyzing the Blockchain Protocol // Journal of logic and computation, exz007, 29 (2019), 5; 803-830. doi: https://doi.org/10.1093/logcom/exz007

Podaci o odgovornosti

Marinković, Bojan ; Glavan, Paola ; Ognjanović, Zoran ; Studer, Thomas

engleski

A Temporal Epistemic Logic with a Non-rigid Set of Agents for Analyzing the Blockchain Protocol

In this paper we provide a strongly complete axiomatization of a temporal epistemic logic in which non-rigid sets of agents are allowed. Using this framework, we prove a number of properties of the blockchain protocol with respect to the given set of axioms and premises.

multi-agent systems, blockchain, temporal epistemic logic, formal model, specification/verification

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o izdanju

exz007, 29 (5)

2019.

803-830

objavljeno

0955-792X

1465-363X

https://doi.org/10.1093/logcom/exz007

Povezanost rada

Matematika, Računarstvo

Poveznice
Indeksiranost