Pages that link to "Item:Q1583483"
From MaRDI portal
The following pages link to Universal coalgebra: A theory of systems (Q1583483):
Displayed 50 items.
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← 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)
- 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)
- 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)
- 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)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum (Q3184736) (← links)
- Structural Operational Semantics for Weighted Transition Systems (Q3184746) (← links)
- Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis (Q3506397) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Recursive coalgebras of finitary functors (Q3512598) (← links)
- Tree-functors, determinacy and bisimulations (Q3564340) (← links)
- Diagrammatic logic applied to a parameterisation process (Q3583026) (← links)
- A Bialgebraic Approach to Automata and Formal Language Theory (Q3605547) (← links)
- New Bisimulation Semantics for Distributed Systems (Q3614847) (← links)
- A Kleene Theorem for Polynomial Coalgebras (Q3617725) (← links)
- Terminal Sequence Induction via Games (Q3623843) (← links)
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
- On coalgebra of real numbers (Q4256314) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- AUTOMATA AND TREE AUTOMATA AS (F<sub>1</sub>, F<sub>2</sub>)-COALGEBRAS (Q5324145) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
- Semantic constructions for the specification of objects (Q5941157) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- Equational and implicational classes of coalgebras (Q5941159) (← links)
- Covarieties and complete covarieties (Q5941160) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
- Specifying coalgebras with modal logic (Q5941162) (← links)
- Parametric corecursion (Q5941163) (← links)