Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Tiziana Cimoli"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 4 (2017)
Timed session types formalise timed communication protocols between two participants at the endpoints of a session. They feature a decidable compliance relation, which generalises to the timed setting the progress-based compliance between untimed ses
Externí odkaz:
https://doaj.org/article/43d0cc729cad4c4082dce2b483471cf6
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 166, Iss Proc. ICE 2014, Pp 86-93 (2014)
We establish a relation between two models of contracts: binary session types, and a model based on event structures and game-theoretic notions. In particular, we show that compliance in session types corresponds to the existence of certain winning s
Externí odkaz:
https://doaj.org/article/b3b2490f1ccb440cb0c367fe0d3962f9
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 131, Iss Proc. ICE 2013, Pp 5-19 (2013)
We relate two contract models: one based on event structures and game theory, and the other one based on logic. In particular, we show that the notions of agreement and winning strategies in the game-theoretic model are related to that of provability
Externí odkaz:
https://doaj.org/article/6a6ff2ba2cc64fbba3bb6494a3cba64d
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 109, Iss Proc. PLACES 2012, Pp 13-20 (2013)
We introduce a basic model for contracts. Our model extends event structures with a new relation, which faithfully captures the circular dependencies among contract clauses. We establish whether an agreement exists which respects all the contracts at
Externí odkaz:
https://doaj.org/article/4458cd34ffd840fd863fae2e1eac0da1
Publikováno v:
GOODTECHS
The rise of blockchain technologies has given a boost to social good projects, which are trying to exploit various characteristic features of blockchains: the quick and inexpensive transfer of cryptocurrency, the transparency of transactions, the abi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb643069138f135e581f0d43582a1368
http://arxiv.org/abs/1811.03424
http://arxiv.org/abs/1811.03424
Publikováno v:
Science of Computer Programming. 112:75-101
We study Lending Petri nets, an extension of Petri nets where places may carry a negative number of tokens. This allows for modeling contracts where a participant may promise to give some of her resources under the guarantee that some other resources
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab8c8648f8d8045b9a09fe76058d9a36
https://doi.org/10.1016/j.scico.2015.05.006
https://doi.org/10.1016/j.scico.2015.05.006
Publikováno v:
Science of Computer Programming. 109:61-95
We relate Propositional Contract Logic (PCL) with games over event structures.We characterize agreement in a class of games in terms of provability in PCL.We show that prudent plays in games correspond to proof traces in PCL.We show that winning stra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8d0caac03c23c5467e547d1c69c439b
https://doi.org/10.1016/j.scico.2015.01.005
https://doi.org/10.1016/j.scico.2015.01.005
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030034269
ISoLA (4)
ISoLA (4)
Besides simple transfers of currency, Bitcoin also enables various forms of smart contracts, i.e. protocols where users interact within pre-agreed rules, which determine (possibly depending on the actual interaction) how currency is eventually distri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::56bd01230c977754acad2aafcda9c8cc
https://doi.org/10.1007/978-3-030-03427-6_32
https://doi.org/10.1007/978-3-030-03427-6_32
Publikováno v:
Fundamenta Informaticae. 134:219-259
We propose a model of events with circular causality, in the form of a conservative extension of Winskel's event structures. We study the relations between this new kind of event structures and Propositional Contract Logic. Provable atoms in the logi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ddeb7cde160d983de32750ce14c33c5f
https://doi.org/10.3233/fi-2014-1101
https://doi.org/10.3233/fi-2014-1101
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 131, Iss Proc. ICE 2013, Pp 5-19 (2013)
ICE
ICE
We relate two contract models: one based on event structures and game theory, and the other one based on logic. In particular, we show that the notions of agreement and winning strategies in the game-theoretic model are related to that of provability
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a045e06774703751eb279513afac260
https://doaj.org/article/6a6ff2ba2cc64fbba3bb6494a3cba64d
https://doaj.org/article/6a6ff2ba2cc64fbba3bb6494a3cba64d