Filter your results
- 3
- 3
- 3
- 2
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
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
|
||
|
|
Compliance and Subtyping in Timed Session Types35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.161-177, ⟨10.1007/978-3-319-19195-9_11⟩
Conference papers
hal-01767334v1
|
||
|
|
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
|