Recommendations
Cites work
- scientific article; zbMATH DE number 2185665 (Why is no real title available?)
- scientific article; zbMATH DE number 4137843 (Why is no real title available?)
- scientific article; zbMATH DE number 3922927 (Why is no real title available?)
- scientific article; zbMATH DE number 3952838 (Why is no real title available?)
- scientific article; zbMATH DE number 3967883 (Why is no real title available?)
- scientific article; zbMATH DE number 4028448 (Why is no real title available?)
- scientific article; zbMATH DE number 4033710 (Why is no real title available?)
- scientific article; zbMATH DE number 4047683 (Why is no real title available?)
- scientific article; zbMATH DE number 4065241 (Why is no real title available?)
- scientific article; zbMATH DE number 1189281 (Why is no real title available?)
- scientific article; zbMATH DE number 3716749 (Why is no real title available?)
- scientific article; zbMATH DE number 3716792 (Why is no real title available?)
- scientific article; zbMATH DE number 3720983 (Why is no real title available?)
- scientific article; zbMATH DE number 42735 (Why is no real title available?)
- scientific article; zbMATH DE number 108434 (Why is no real title available?)
- scientific article; zbMATH DE number 3495581 (Why is no real title available?)
- scientific article; zbMATH DE number 3549200 (Why is no real title available?)
- scientific article; zbMATH DE number 1231627 (Why is no real title available?)
- scientific article; zbMATH DE number 1231631 (Why is no real title available?)
- scientific article; zbMATH DE number 1231635 (Why is no real title available?)
- scientific article; zbMATH DE number 1231637 (Why is no real title available?)
- scientific article; zbMATH DE number 1304993 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 1064116 (Why is no real title available?)
- scientific article; zbMATH DE number 1086715 (Why is no real title available?)
- scientific article; zbMATH DE number 1107487 (Why is no real title available?)
- scientific article; zbMATH DE number 952378 (Why is no real title available?)
- scientific article; zbMATH DE number 2102773 (Why is no real title available?)
- scientific article; zbMATH DE number 821282 (Why is no real title available?)
- scientific article; zbMATH DE number 234018 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- A calculus of communicating systems
- A co-induction principle for recursively defined domains
- A coinduction principle for recursive data types based on bisimulation
- A domain equation for bisimulation
- A final coalgebra theorem
- A general Galois theory for cofunctions and corelations
- A lattice-theoretical fixpoint theorem and its applications
- A small final coalgebra theorem
- Additions and corrections to ``Terminal coalgebras in well-founded set theory
- Algebraic specification of data types: A synthetic approach
- An approach to object semantics based on terminal co-algebras
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Bisimulation from open maps
- Bisimulation through probabilistic testing
- Co-induction in relational semantics
- Coalgebraic logic
- Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998
- Covarieties and complete covarieties
- Final semantics for a higher order concurrent language
- Final universes of processes
- Formal verification of parallel programs
- Machines in a category
- Mechanizing coinduction and corecursion in higher-order logic
- Mongruences and cofree coalgebras
- On the Foundations of Corecursion
- Parametrized data types do not need highly constrained parameters
- Processes and hyperuniverses
- Processes as terms: non-well-founded models for bisimulation
- Reactive, generative, and stratified models of probabilistic processes
- Relational properties of domains
- Solving reflexive domain equations in a category of complete metric spaces
- Structural induction and coinduction in a fibrational setting
- Structured operational semantics and bisimulation as a congruence
- Terminal coalgebras in well-founded set theory
- Terminal metric spaces of finitely branching and image finite linear processes
- The Category-Theoretic Solution of Recursive Domain Equations
- Universal coalgebra and categories of transition systems
Cited in
(only showing first 100 items - show all)- A behavioural pseudometric for probabilistic transition systems
- Fixed Points of Functors - A Short Abstract
- Nominal automata with name binding
- A coinductive calculus for asynchronous side-effecting processes
- New Bisimulation Semantics for Distributed Systems
- Efficient and modular coalgebraic partition refinement
- COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND
- On final coalgebras of power-set functors and saturated trees
- Formal Methods in Software and Systems Modeling
- Proof systems for Moss' coalgebraic logic
- A Calculus of Terms for Coalgebras of Polynomial Functors
- scientific article; zbMATH DE number 7566075 (Why is no real title available?)
- Coinductive predicates and final sequences in a fibration
- Linearization of automatic arrays and weave specifications
- Rational operational models
- Varieties and covarieties of languages (extended abstract)
- On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras
- Network-conscious -calculus -- a model of Pastry
- Quantitative Kleene coalgebras
- A coinductive calculus of binary trees
- Coalgebraic semantics for nominal automata
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
- Saturated Kripke structures as Vietoris coalgebras
- Stick breaking, in coalgebra and probability
- Coalgebras for Bisimulation of Weighted Automata over Semirings
- Final semantics for decorated traces
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP
- Recursive coalgebras of finitary functors
- G-reactive systems as coalgebras
- Coalgebraising subsequential transducers
- Coequational logic for finitary functors
- Observational coalgebras and complete sets of co-operations
- Invariants of monadic coalgebras
- Bisimulation and coinduction enhancements: a historical perspective
- Nonflatness and totality
- Some co-Birkhoff type theorems
- Coalgebra morphisms subsume open maps
- CSP, partial automata, and coalgebras.
- On institutions for modular coalgebraic specifications.
- A coinductive completeness proof for the equivalence of recursive types
- Soundness conditions for big-step semantics
- Monoid-labeled transition systems
- Lattice properties of congruences for stochastic relations
- From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
- Approximating Markov processes through filtration
- Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
- Relational properties of sequential composition of coalgebras
- A bialgebraic approach to automata and formal language theory
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems
- Completeness for \(\mu\)-calculi: a coalgebraic approach
- Universality of categories of coalgebras
- A calculus of concurrent graph-rewriting processes
- Linear-time logics -- a coalgebraic perspective
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- A modal proof theory for final polynomial coalgebras
- On the structure of categories of coalgebras
- Initial algebras and terminal coalgebras in many-sorted sets
- Coalgebras for fuzzy transition systems
- A presheaf environment for the explicit fusion calculus
- Unprovability of the logical characterization of bisimulation
- On the final sequence of a finitary set functor
- Context-free coalgebras
- Channel-based coordination via constraint satisfaction
- Synthesis of Reo circuits from scenario-based interaction specifications
- Integrating observational and computational features in the specification of state-based, dynamical systems
- Final coalgebras and a solution theorem for arbitrary endofunctors
- Bialgebras for structural operational semantics: an introduction
- Maximal traces and path-based coalgebraic temporal logics
- Regular varieties of automata and coequations
- Equations and coequations for weighted automata
- A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves
- The \(p\)-adic integers as final coalgebra
- On universal categories of coalgebras
- Up-to techniques for behavioural metrics via fibrations
- From algebras and coalgebras to dialgebras
- Up-to techniques for branching bisimilarity
- Bialgebraic methods in structural operational semantics (invited talk)
- Observational ultraproducts of polynomial coalgebras.
- Recursively defined metric spaces without contraction
- Equational coalgebraic logic
- Final coalgebras in accessible categories
- On the computational complexity of bisimulation, redux
- A finite model construction for coalgebraic modal logic
- A Category of Explicit Fusions
- Coalgebraic Models for Reactive Systems
- Information hiding in probabilistic concurrent systems
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Generic infinite traces and path-based coalgebraic temporal logics
- Structural operational semantics and modal logic, revisited
- Bisimulation on Markov processes over arbitrary measurable spaces
- Completeness for flat modal fixpoint logics
- Kantorovich functors and characteristic logics for behavioural distances
- Some properties of coalgebras and their rôle in computer science
- Coalgebraic minimization of automata by initiality and finality
- Pointwise extensions of GSOS-defined operations
- Coinduction for exact real number computation
- Tree-functors, determinacy and bisimulations
- Modalities in the Stone age: a comparison of coalgebraic logics
- A simplification functor for coalgebras
- A hierarchy of probabilistic system types
This page was built for publication: Universal coalgebra: A theory of systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583483)
