Filter your results
- 2
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 3
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Defining Context-Free Power Series Coalgebraically11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩
Conference papers
hal-01539885v1
|
||
|
|
Scheduling Games for Concurrent Systems18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.84-100, ⟨10.1007/978-3-319-39519-7_6⟩
Conference papers
hal-01631719v1
|
||
|
|
Theoretical Computer ScienceSpringer, LNCS-7604, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-33475-7⟩
Books
hal-01556209v1
|