Filter your results
- 4
- 4
- 4
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Squeezing Streams and Composition of Self-stabilizing Algorithms39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.21-38, ⟨10.1007/978-3-030-21759-4_2⟩
Conference papers
hal-02313746v1
|
||
|
|
A Theory of Integrating Tamper Evidence with Stabilization6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.84-99, ⟨10.1007/978-3-319-24644-4_6⟩
Conference papers
hal-01446612v1
|
||
|
|
On the Complexity of Adding Convergence5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.17-33, ⟨10.1007/978-3-642-40213-5_2⟩
Conference papers
hal-01514662v1
|
||
|
|
A Self-stabilizing One-To-Many Node Disjoint Paths Routing Algorithm in Star Networks20th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2020, Valletta, Malta. pp.186-203, ⟨10.1007/978-3-030-50323-9_12⟩
Conference papers
hal-03223260v1
|