Filter your results
- 3
- 3
- 3
- 3
- 1
- 1
- 2
- 4
- 2
- 6
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
How to Kill Epsilons with a Dagger12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers
hal-01408752v1
|
||
|
|
Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.65-82, ⟨10.1007/978-3-662-43376-8_5⟩
Conference papers
hal-01290068v1
|
||
|
|
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.281-295, ⟨10.1007/978-3-662-44602-7_22⟩
Conference papers
hal-01402072v1
|