190 citations · 225 across the 9 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023★ 3 cited
Capturing Smart Contract Design with DCR Graphs
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho +2
Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, ac…
cs.SE2011★ 11 cited
Bigraphical Refinement
Gian Perrone, Søren Debois, Thomas Hildebrandt
We propose a mechanism for the vertical refinement of bigraphical reactive systems, based upon a mechanism for limiting observations and utilising the underlying categorical struct…