A Logic of Blockchain Updates.

Kai Brnnler, Dandolo Flumini, Thomas Studer

Browse the full LFCS paper archive.