Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
|
|
|
sorted by
|
|
|
On Coalgebras with Internal Moves12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.75-97, ⟨10.1007/978-3-662-44124-4_5⟩
Conference papers
hal-01408753v1
|
||
|
|
Weak Bisimulations for Coalgebras over Ordered Functors7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.87-103, ⟨10.1007/978-3-642-33475-7_7⟩
Conference papers
hal-01556223v1
|