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

Filter your results

1 Array
Image document

A Formal Analysis of the Global Sequence Protocol

Hernán Melgratti , Christian Roldán
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.175-191, ⟨10.1007/978-3-319-39519-7_11⟩
Conference papers hal-01631716v1