Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Maurizio Murgia"'
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 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:
Maurizio Murgia
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 304, Iss Proc. ICE 2019, Pp 38-47 (2019)
We study compliance relations between behavioural contracts in a syntax independent setting based on Labelled Transition Systems. We introduce a fix-point based family of compliance relations, and show that many compliance relations appearing in lite
Externí odkaz:
https://doaj.org/article/0749dad6c6e440a68ca5395a06131088
Autor:
Maurizio Murgia
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 279, Iss Proc. ICE 2018, Pp 85-94 (2018)
We study an urgent semantics of asynchronous timed session types, where input actions happen as soon as possible. We show that with this semantics we can recover to the timed setting an appealing property of untimed session types: namely, deadlock-fr
Externí odkaz:
https://doaj.org/article/a37fe396d7e3474286f47588b10f2100
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:
Lecture Notes in Computer Science ISBN: 9783031081453
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::406adf9cfc9aa5f9f0008f499831c627
https://doi.org/10.1007/978-3-031-08143-9_3
https://doi.org/10.1007/978-3-031-08143-9_3
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9142847af0b46b90551c682ec42a9c7b
https://doi.org/10.1007/978-3-031-19759-8_17
https://doi.org/10.1007/978-3-031-19759-8_17
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://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9bb5f58c20edba1a36530f9776132ad
https://lmcs.episciences.org/6935
https://lmcs.episciences.org/6935
Autor:
Maurizio Murgia
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 107:38-53
We study an urgent semantics of asynchronous timed session types, where input actions happen as soon as possible, inspired to common programming primitives. We introduce a notion of asynchronous compliance for timed session types, ensuring deadlock f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e534efb64b328c6ef4b3e1bff843127e
https://doi.org/10.1016/j.jlamp.2019.04.001
https://doi.org/10.1016/j.jlamp.2019.04.001