...
- What relationship do legal smart contracts have to models of computation?
- Generation of smart contracts from existing artifacts (natural language, business process, state machines, non smart-contract code)
- Data structures and state
...
...
- What relationship do legal smart contracts have to models of computation?
...