Abstract     Description     Claims     Drawing  

US20150324787A   [0012] 
US7904722B   [0053] 
US7698230B   [0053] 

A Next-Generation Smart Contract and Decentralized Application Platform   [0007] 
Making Smart Contracts Smarter   [0011] 
The Blockchain as a Software Connector   [0013] 
EWD472: Guarded commands, non-determinacy and formal, derivation of programs   [0049]