Sebastian Küpper | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Barbara König
21 publications
Harsh Beohar
4 publications
Mathias Hülsbusch
1 publication
Lars Stoltenow
1 publication

research

∙ 04/24/2020

Conditional Bisimilarity for Reactive Systems

Reactive systems à la Leifer and Milner, an abstract categorical framewo...

0 Mathias Hülsbusch, et al. ∙

research

∙ 09/04/2019

Bisimulation maps in presheaf categories

The category of presheaves on a (small) category is a suitable semantic ...

0 Harsh Beohar, et al. ∙