Filter your results
- 4
- 4
- 4
- 1
- 1
- 2
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
4 results
|
|
|
sorted by
|
|
|
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.98-117, ⟨10.1007/978-3-662-44124-4_6⟩
Conference papers
hal-01408754v1
|
||
|
|
Lax Extensions of Coalgebra Functors11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.150-169, ⟨10.1007/978-3-642-32784-1_9⟩
Conference papers
hal-01539878v1
|
||
|
|
Stream Automata Are Coalgebras11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.90-108, ⟨10.1007/978-3-642-32784-1_6⟩
Conference papers
hal-01539881v1
|
||
|
|
Strategies for Generating and Evaluating Large-Scale Powerlaw-Distributed P2P Overlays13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.71-84, ⟨10.1007/978-3-642-38541-4_6⟩
Conference papers
hal-01489466v1
|