Published in: OASIcs, Volume 95, 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)
Thi Thu Ha Doan and Peter Thiemann. Towards Contract Modules for the Tezos Blockchain (Short Paper). In 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021). Open Access Series in Informatics (OASIcs), Volume 95, pp. 5:1-5:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{doan_et_al:OASIcs.FMBC.2021.5, author = {Doan, Thi Thu Ha and Thiemann, Peter}, title = {{Towards Contract Modules for the Tezos Blockchain}}, booktitle = {3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)}, pages = {5:1--5:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-209-9}, ISSN = {2190-6807}, year = {2021}, volume = {95}, editor = {Bernardo, Bruno and Marmsoler, Diego}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2021.5}, URN = {urn:nbn:de:0030-drops-154294}, doi = {10.4230/OASIcs.FMBC.2021.5}, annote = {Keywords: contract API, modules, static checking} }
Published in: LIPIcs, Volume 95, 21st International Conference on Principles of Distributed Systems (OPODIS 2017)
Ha Thi Thu Doan, François Bonnet, and Kazuhiro Ogata. Model Checking of Robot Gathering. In 21st International Conference on Principles of Distributed Systems (OPODIS 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 95, pp. 12:1-12:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{doan_et_al:LIPIcs.OPODIS.2017.12, author = {Doan, Ha Thi Thu and Bonnet, Fran\c{c}ois and Ogata, Kazuhiro}, title = {{Model Checking of Robot Gathering}}, booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)}, pages = {12:1--12:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-061-3}, ISSN = {1868-8969}, year = {2018}, volume = {95}, editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.12}, URN = {urn:nbn:de:0030-drops-86324}, doi = {10.4230/LIPIcs.OPODIS.2017.12}, annote = {Keywords: Mobile Robot, Robot Gathering, Formal Verification, Model Checking, Maude} }
Feedback for Dagstuhl Publishing