Filter your results
- 3
- 3
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
3 results
|
|
sorted by
|
|
Renegotiation and Recursion in Bitcoin Contracts22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.261-278, ⟨10.1007/978-3-030-50029-0_17⟩
Conference papers
hal-03273996v1
|
||
|
Operational Representation of Dependencies in Context-Dependent Event Structures22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.320-338, ⟨10.1007/978-3-030-50029-0_20⟩
Conference papers
hal-03273985v1
|
||
|
A True Concurrent Model of Smart Contracts Executions22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.243-260, ⟨10.1007/978-3-030-50029-0_16⟩
Conference papers
hal-03273986v1
|