Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
authFullName_s : Rocco De Nicola
hal_authIdPerson_i : 998109
Image document

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

Rocco De Nicola , Gianluigi Ferrari , Rosario Pugliese , Francesco Tiezzi
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩
Conference papers hal-01821499v1