Hierarchical states in the Compositional Interchange Format von Beohar, H., Nadales Agut, D.E., van Beek, D.A., Cuijpers, P.J.L.

Volltext

Avoiding diamonds in desynchronisation von Beohar, H., Cuijpers, P.J.L.

Volltext

Desynchronizability of (Partial) Synchronous Closed Loop Systems von H. Beohar, P. Cuijpers

Volltext

Bisimulation maps in presheaf categories von Beohar, H, Küpper, S

Volltext bestellen

Proving behavioural apartness von Turkenburg, R, Beohar, H, Kupke, C, Rot, J

Volltext bestellen

Forward and backward steps in a fibration von Turkenburg, R, Beohar, H, Kupke, C, Rot, J

Volltext bestellen

Hennessy-Milner theorems via Galois connections von Beohar, H, Gurke, S, König, B, Messing, K

Volltext bestellen

Expressive quantale-valued logics for coalgebras: an adjunction-based approach von Beohar, H, Gurke, S, König, B, Messing, K, Forster, J, Schröder, L, Wild, P

Volltext bestellen

On path-based coalgebras and weak notions of bisimulation von Beohar, H, Küpper, S

Volltext bestellen

Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic von Beohar, H, König, B, Küpper, S, Mika-Michalski, C

Volltext bestellen

Proving behavioural apartness von Turkenburg, R, Beohar, H, Kupke, C, Rot, J

Volltext bestellen

Conditional transition systems with upgrades von Beohar, H, König, B, Küpper, S, Silva, A

Volltext bestellen

Conditional transition systems with upgrades von Beohar, H, Koenig, B, Kuepper, S, Silva, A

Volltext bestellen

Avoiding diamonds in desynchronisation von Beohar, H, Cuijpers, P.J.L

Volltext bestellen

Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders von Beohar, H., Cuijpers, P.J.L.

Volltext

A coalgebraic treatment of conditional transition systems with upgrades von Beohar, H, König, B, Küpper, S, Silva, A, Wissmann, T

Volltext bestellen

A coalgebraic treatment of conditional transition systems with upgrades von Beohar, H, König, B, Küpper, S, Silva, A, Wißmann, T

Volltext bestellen

Conditional transition systems with upgrades von Beohar, H, König, B, Küpper, S, Silva, A

Volltext bestellen

Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic von Beohar, H, König, B, Küpper, S, Mika-Michalski, C

Volltext

Hierarchical states in the Compositional Interchange Format von Beohar, H, Nadales Agut, D E, van Beek, D A, Cuijpers, P J L

Volltext