Filter your results
- 8
- 7
- 1
- 8
- 2
- 2
- 1
- 1
- 1
- 1
- 8
- 2
- 1
- 1
- 1
- 1
- 5
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
(In)finite Trace Equivalence of Probabilistic Transition Systems14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.100-121, ⟨10.1007/978-3-030-00389-0_7⟩
Conference papers
hal-02044641v1
|
||
|
|
Bisimilarity of Open Terms in Stream GSOS7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Conference papers
hal-01760851v1
|
||
|
|
Coalgebraic Methods in Computer ScienceSpringer International Publishing, LNCS-12094, 2020, Lecture Notes in Computer Science, 978-3-030-57200-6. ⟨10.1007/978-3-030-57201-3⟩
Books
hal-03232344v1
|
||
|
|
Trace Semantics via Determinization11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.109-129, ⟨10.1007/978-3-642-32784-1_7⟩
Conference papers
hal-01539887v1
|
||
|
|
Dijkstra Monads in Monadic Computation12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.135-150, ⟨10.1007/978-3-662-44124-4_8⟩
Conference papers
hal-01408757v1
|
||
|
|
Affine Monads and Side-Effect-Freeness13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.53-72, ⟨10.1007/978-3-319-40370-0_5⟩
Conference papers
hal-01446033v1
|
||
|
|
Steps and Traces14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.122-143, ⟨10.1007/978-3-030-00389-0_8⟩
Conference papers
hal-02044644v1
|
||
|
|
De Finetti’s Construction as a Categorical Limit15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.90-111, ⟨10.1007/978-3-030-57201-3_6⟩
Conference papers
hal-03232351v1
|