Pages that link to "Item:Q5492834"
From MaRDI portal
The following pages link to Algebra and Coalgebra in Computer Science (Q5492834):
Displaying 13 items.
- Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Universal type structures with unawareness (Q2437179) (← links)
- Final coalgebras for functors on measurable spaces (Q2495647) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480) (← links)
- (Q3097976) (← links)
- (Q3384075) (← links)
- Bisimulation on Markov Processes over Arbitrary Measurable Spaces (Q5418956) (← links)
- Choice structures in games (Q6160139) (← links)
