Pages that link to "Item:Q1583483"
From MaRDI portal
The following pages link to Universal coalgebra: A theory of systems (Q1583483):
Displayed 46 items.
- 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)
- Generalised powerlocales via relation lifting (Q4911306) (← links)
- Generalised Coinduction (Q4917033) (← links)
- A Calculus of Terms for Coalgebras of Polynomial Functors (Q4917037) (← links)
- Monoid-labeled transition systems (Q4917038) (← links)
- Modal Rules are Co-Implications (Q4917041) (← links)
- Invariants of monadic coalgebras (Q4917042) (← links)
- From Algebras and Coalgebras to Dialgebras (Q4917045) (← links)
- Elements of Stream Calculus (Q4917066) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- A Compositional Coalgebraic Model of a Fragment of Fusion Calculus (Q5262958) (← links)
- AUTOMATA AND TREE AUTOMATA AS (F<sub>1</sub>, F<sub>2</sub>)-COALGEBRAS (Q5324145) (← links)
- WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES (Q5401551) (← links)
- Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
- Services and Contracts: Coalgebraically (Q5415620) (← links)
- Bisimulation on Markov Processes over Arbitrary Measurable Spaces (Q5418956) (← links)
- (Co)Algebraic Characterizations of Signal Flow Graphs (Q5418958) (← links)
- A Final Coalgebra for k-regular Sequences (Q5418973) (← 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)
- From modal logic to terminal coalgebras (Q5941165) (← links)
- Equational axiomatizability for coalgebra (Q5941166) (← links)
- Operators on classes of coalgebras (Q5958621) (← links)
- What is the coalgebraic analogue of Birkhoff's variety theorem? (Q5958779) (← links)
- Discussion on: ``Supervisory control of discrete event systems with flexible marking'' (Q5971307) (← links)