Filter your results
- 6
- 6
- 6
- 1
- 1
- 1
- 1
- 2
- 6
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
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 Distributed Coordination Infrastructure for Attribute-Based Interaction38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92612-4_1⟩
Conference papers
hal-01824810v1
|
||
|
How Adaptive and Reliable is Your Program?41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.60-79, ⟨10.1007/978-3-030-78089-0_4⟩
Conference papers
hal-03740265v1
|
||
|
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.111-128, ⟨10.1007/978-3-030-22397-7_7⟩
Conference papers
hal-02365500v1
|
||
|
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.19-34, ⟨10.1007/978-3-319-19282-6_2⟩
Conference papers
hal-01774942v1
|
||
|
On the Power of Attribute-Based Communication36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.1-18, ⟨10.1007/978-3-319-39570-8_1⟩
Conference papers
hal-01432924v1
|