Search - Coordination Models and Languages (COORDINATION 2017) Access content directly

Filter your results

2 results
Image document

Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed

Giorgio Audrito , Ferruccio Damiani , Mirko Viroli
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.59-77, ⟨10.1007/978-3-319-59746-1_4⟩
Conference papers hal-01657344v1
Image document

Retractable and Speculative Contracts

Franco Barbanera , Ivan Lanese , Ugo de 'Liguoro
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.119-137, ⟨10.1007/978-3-319-59746-1_7⟩
Conference papers hal-01633262v1