Crossmark

Formalizing smart contract design patterns with DCR graphs

Crossref DOI link: https://doi.org/10.1007/s10270-026-01366-w

Published Online: 2026-05-21

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Eshghie, Mojtaba https://orcid.org/0000-0002-0069-0588
Ahrendt, Wolfgang https://orcid.org/0000-0002-5671-2555
Artho, Cyrille https://orcid.org/0000-0002-3656-1614
Hildebrandt, Thomas Troels https://orcid.org/0000-0002-7435-5563
Schneider, Gerardo https://orcid.org/0000-0003-0629-6853
Funding

Funding for this research was provided by:

Royal Institute of Technology
License Information

Text and Data Mining valid from 2026-05-21

Version of Record valid from 2026-05-21
More Information

Article History

Received: 26 April 2024

Revised: 23 February 2026

Accepted: 24 February 2026

First Online: 21 May 2026