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

Filter your results

1 Array
Contributor/author Internal identifier : 200187
hal_authIdPerson_i : 894476
Image document

Multilevel Transitive and Intransitive Non-interference, Causally

Paolo Baldan , Alessandro Beggiato
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.1-17, ⟨10.1007/978-3-319-39519-7_1⟩
Conference papers hal-01631722v1