Pages that link to "Item:Q1583483"
From MaRDI portal
The following pages link to Universal coalgebra: A theory of systems (Q1583483):
Displayed 50 items.
- From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference (Q2341698) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Lax extensions of coalgebra functors and their logic (Q2341702) (← links)
- Context-free coalgebras (Q2341705) (← links)
- A decision procedure for (co)datatypes in SMT solvers (Q2360873) (← links)
- An institution of modal logics for coalgebras (Q2369032) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator (Q2372202) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- Factoring stochastic relations (Q2390244) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- A (co)algebraic theory of succinct automata (Q2423764) (← links)
- Categorically algebraic topology versus universal topology (Q2445540) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- A simplification functor for coalgebras (Q2469042) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- Bisimulation relations for dynamical, control, and hybrid systems (Q2566293) (← links)
- A tutorial on coinductive stream calculus and signal flow graphs (Q2571208) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Some properties of coalgebras and their rôle in computer science (Q2659403) (← links)
- Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems (Q2747940) (← links)
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study (Q2747941) (← links)
- A Coalgebraic Semantics of Subtyping (Q2747942) (← links)
- Coalgebras for Binary Methods: Properties of Bisimulations and Invariants (Q2747943) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- Towards Weak Bisimulation For Coalgebras (Q2841308) (← links)
- Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors (Q2842550) (← links)
- GSOS for probabilistic transition systems (Q2842551) (← links)
- Institutionalising Many-Sorted Coalgebraic Modal Logic (Q2842552) (← links)
- Some Co-Birkhoff Type Theorems (Q2842554) (← links)
- Comprehension for Coalgebras (Q2842555) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- Towards Behavioral Maude (Q2842559) (← links)
- Greatest Bisimulations for Binary Methods (Q2842564) (← links)
- On Rational Monads and Free Iterative Theories (Q2842813) (← links)
- Bisimulation Relations for Dynamical and Control Systems (Q2842819) (← links)
- Factorization systems and fibrations (Q2842821) (← links)