Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
publicationDateY_i : 2016
Image document

A Theory for the Composition of Concurrent Processes

Ludovic Henrio , Eric Madelaine , Min Zhang
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.175-194, ⟨10.1007/978-3-319-39570-8_12⟩
Conference papers hal-01432917v1
Image document

From Modelling to Systematic Deployment of Distributed Active Objects

Ludovic Henrio , Justine Rochas
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.208-226, ⟨10.1007/978-3-319-39519-7_13⟩
Conference papers hal-01305474v1