Pages that link to "Item:Q5453504"
From MaRDI portal
The following pages link to Generic Trace Semantics via Coinduction (Q5453504):
Displaying 48 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Monads for behaviour (Q265824) (← links)
- Identifying all preorders on the subdistribution monad (Q283773) (← links)
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Relation lifting, a survey (Q299182) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Coalgebraic constructions of canonical nondeterministic automata (Q890382) (← links)
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- Extensional quotient coalgebras (Q1750071) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Steps and traces (Q1798791) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- Merging Hierarchically-Structured Documents in Workflow Systems (Q2873660) (← links)
- Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems (Q2873666) (← links)
- Complete Iterativity for Algebras with Effects (Q2888475) (← links)
- Traces, Executions and Schedulers, Coalgebraically (Q2888488) (← links)
- Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum (Q2890333) (← links)
- Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics (Q2919451) (← links)
- From Coalgebraic to Monoidal Traces (Q2919453) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q3121518) (← links)
- Coalgebraic Representation Theory of Fractals (Q3178264) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- Trace-Based Coinductive Operational Semantics for While (Q3183540) (← links)
- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum (Q3184736) (← links)
- (Q5009440) (← links)
- (Q5089251) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems (Q5739363) (← links)
- (Q5875346) (← links)
- (Q5875398) (← links)
- Stream processors and comodels (Q5883748) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)
