Capturing Smart Contract Design with DCR Graphs
Paper in proceeding, 2023
Smart Contract Modelling
DCR Graphs
Design Patterns
Author
Mojtaba Eshghie
Royal Institute of Technology (KTH)
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Cyrille Artho
Royal Institute of Technology (KTH)
Thomas Troels Hildebrandt
University of Copenhagen
Gerardo Schneider
University of Gothenburg
Published in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 14323 LNCSp. 106-1259783031471148 (ISBN)
Conference
Eindhoven, Netherlands, 2023-11-05 - 2023-11-09
Categorizing
Subject Categories
Computer and Information Science
Identifiers
DOI
10.1007/978-3-031-47115-5_7