Filter your results
- 6
- 6
- 6
- 1
- 4
- 1
- 6
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Replica-Based High-Performance Tuple Space Computing17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.3-18, ⟨10.1007/978-3-319-19282-6_1⟩
Conference papers
hal-01774936v1
|
||
|
|
Klaim-DB: A Modeling Language for Distributed Database Applications17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.197-212, ⟨10.1007/978-3-319-19282-6_13⟩
Conference papers
hal-01774934v1
|
||
|
|
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.101-116, ⟨10.1007/978-3-319-19282-6_7⟩
Conference papers
hal-01774933v1
|
||
|
|
A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.230-244, ⟨10.1007/978-3-642-30829-1_16⟩
Conference papers
hal-01529602v1
|
||
|
|
Distributed Coordination Runtime Assertions for the Peer Model20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.200-219, ⟨10.1007/978-3-319-92408-3_9⟩
Conference papers
hal-01821497v1
|
||
|
|
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.113-128, ⟨10.1007/978-3-319-19195-9_8⟩
Conference papers
hal-01767321v1
|