Zobrazeno 1 - 10
of 109
pro vyhledávání: '"Massimo Bartoletti"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 1 (2023)
We tackle the problem of establishing the soundness of approximate bisimilarity with respect to PCTL and its relaxed semantics. To this purpose, we consider a notion of bisimilarity inspired by the one introduced by Desharnais, Laviolette, and Tracol
Externí odkaz:
https://doaj.org/article/9301994b5d4d4f39a40ca2783efc8bf2
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 4 (2022)
Automated market makers (AMMs) are one of the most prominent decentralized finance (DeFi) applications. AMMs allow users to trade different types of crypto-tokens, without the need to find a counter-party. There are several implementations and models
Externí odkaz:
https://doaj.org/article/692740520a4941b281b60da725dea1c4
Publikováno v:
IEEE Access, Vol 9, Pp 148353-148373 (2021)
Since the inception of Bitcoin in 2009, the market of cryptocurrencies has grown beyond the initial expectations, as witnessed by the thousands of tokenised assets available on the market, whose daily trades exceed dozens of USD billions. The pseudon
Externí odkaz:
https://doaj.org/article/02db07b9b36445168fa78eecf642a29f
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)
Smart contracts - computer protocols that regulate the exchange of crypto-assets in trustless environments - have become popular with the spread of blockchain technologies. A landmark security property of smart contracts is liquidity: in a non-liquid
Externí odkaz:
https://doaj.org/article/9742699dfad74cb68d07b5acffb51928
Publikováno v:
Logical Methods in Computer Science, Vol Volume 17, Issue 4 (2021)
Decentralized blockchain platforms have enabled the secure exchange of crypto-assets without the intermediation of trusted authorities. To this purpose, these platforms rely on a peer-to-peer network of byzantine nodes, which collaboratively maintain
Externí odkaz:
https://doaj.org/article/31625816e14a413aa1a2b8ef7db6e9f2
Autor:
Massimo Bartoletti
Publikováno v:
Frontiers in Blockchain, Vol 3 (2020)
This paper explores the connection between software contracts and smart contracts. Despite the assonance, these two terms denote quite different concepts: software contracts are logical properties of software components, while smart contracts are pro
Externí odkaz:
https://doaj.org/article/8cbf760c11454405bb886f5d075389f3
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
Autor:
Alceste Scalas, Massimo Bartoletti
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 189, Iss Proc. ICE 2015, Pp 86-98 (2015)
Labelled Transition Systems (LTSs) are a fundamental semantic model in many areas of informatics, especially concurrency theory. Yet, reasoning on LTSs and relations between their states can be difficult and elusive: very simple process algebra terms
Externí odkaz:
https://doaj.org/article/dc27338d99604423b18849b9c49bd21c
Publikováno v:
Logical Methods in Computer Science, Vol Volume 12, Issue 4 (2017)
We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises made, or not. Type safety guarantees that a typeable process is honest -
Externí odkaz:
https://doaj.org/article/f870432d7ad74dd59e2b193e29725448
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