This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
SoSyM
sosym.org
did:plc:ybqzaedcp3gfphbv4scrhmk2
#OnlineFirst
Formalizing smart contract design patterns with DCR graphs
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt & Gerardo Schneider
https://doi.org/10.1007/s10270-026-01366-w
2026-05-26T05:09:48.470Z