Filter your results
- 3
- 1
- 3
- 1
- 4
- 4
- 1
- 7
- 8
- 8
- 9
- 3
- 7
- 9
- 6
- 6
- 5
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Theoretical Computer ScienceJosep Diaz; Ivan Lanese; Davide Sangiorgi. Springer, LNCS-8705, 2014, Lecture Notes in Computer Science, 978-3-662-44601-0. ⟨10.1007/978-3-662-44602-7⟩
Books
hal-01402084v1
|
||
|
|
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)Coalgebraic Methods in Computer Science, Apr 2014, Grenoble, France. pp.3 - 9, ⟨10.1007/978-3-662-44124-4_1⟩
Conference papers
hal-01092815v1
|
||
|
|
A Calculus of Self-stabilising Computational Fields16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.163-178, ⟨10.1007/978-3-662-43376-8_11⟩
Conference papers
hal-01290075v1
|
||
|
|
Modeling the Emergence of a New Language: Naming Game with Hybridization7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.78-89, ⟨10.1007/978-3-642-54140-7_7⟩
Conference papers
hal-01291501v1
|