Universal coalgebra: A theory of systems
From MaRDI portal
Publication:1583483
DOI10.1016/S0304-3975(00)00056-6zbMATH Open0951.68038OpenAlexW2088189323MaRDI QIDQ1583483FDOQ1583483
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)- On rational monads and free iterative theories
- Structural Operational Semantics for Weighted Transition Systems
- A coinductive calculus for asynchronous side-effecting processes
- From algebras and coalgebras to dialgebras
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Coalgebraic logic
- Coalgebras for fuzzy transition systems
- A coalgebraic perspective on logical interpretations
- Quasipolynomial computation of nested fixpoints
- Lattice properties of congruences for stochastic relations
- Unprovability of the logical characterization of bisimulation
- Weighted automata as coalgebras in categories of matrices
- Semantics of higher-order quantum computation via geometry of interaction
- On the final sequence of a finitary set functor
- Terminal Sequence Induction via Games
- Coalgebras for binary methods: Properties of bisimulations and invariants
- Approximating Markov processes through filtration
- A formalized hierarchy of probabilistic system types. Proof pearl
- Lax extensions of coalgebra functors and their logic
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
- Traces for coalgebraic components
- Modalities in the Stone age: a comparison of coalgebraic logics
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
- Coalgebraic semantics of modal logics: an overview
- Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Stone coalgebras
- Copower functors
- A finite model construction for coalgebraic modal logic
- Coalgebraic semantic model for the clock constraint specification language
- Some co-Birkhoff type theorems
- Expressive logics for coalgebras via terminal sequence induction
- Initial algebras and terminal coalgebras in many-sorted sets
- Coalgebras, Chu spaces, and representations of physical systems
- Algebra-coalgebra duality in Brzozowski's minimization algorithm
- On final coalgebras of power-set functors and saturated trees
- Final coalgebras and the Hennessy-Milner property
- Bisimulation indexes and their applications
- An introduction to (co)algebra and (co)induction
- Bialgebraic methods in structural operational semantics (invited talk)
- About permutation algebras, (pre)sheaves and named sets
- Coalgebraic modal logic beyond sets
- On coalgebra based on classes
- On tree coalgebras and coalgebra presentations
- Big toy models. Representing physical systems as Chu spaces
- Bialgebras for structural operational semantics: an introduction
- Maximal traces and path-based coalgebraic temporal logics
- Components as coalgebras: the refinement dimension
- Diagrammatic logic applied to a parameterisation process
- A presheaf environment for the explicit fusion calculus
- A logic of implications in algebra and coalgebra
- A tutorial on coinductive stream calculus and signal flow graphs
- Data types with symmetries and polynomial functors over groupoids
- Factorization systems and fibrations: toward a fibred Birkhoff variety theorem
- Recursively defined metric spaces without contraction
- Applications of algebra and coalgebra in scientific modelling: illustrated with the logistic map
- Notions of bisimulation and congruence formats for SOS with data
- Modular construction of complete coalgebraic logics
- A hidden agenda
- Swinging types=functions+relations+transition systems
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
- A behavioural pseudometric for probabilistic transition systems
- Relatively terminal coalgebras
- A coalgebraic perspective on linear weighted automata
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
- A coalgebraic approach to Kleene algebra with tests
- Simulations in coalgebra
- scientific article; zbMATH DE number 2172972 (Why is no real title available?)
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Structural congruence for bialgebraic semantics
- Approximating and computing behavioural distances in probabilistic transition systems
- Coinductive predicates and final sequences in a fibration
- Bisimulation for labelled Markov processes
- Linearization of automatic arrays and weave specifications
- Rational operational models
- Varieties and covarieties of languages (extended abstract)
- Transposing partial components--an exercise on coalgebraic refinement
- Expressivity of coalgebraic modal logic: the limits and beyond
- A decision procedure for (co)datatypes in SMT solvers
- Coinduction for exact real number computation
- ``Keep definition, change category -- a practical approach to state-based system calculi
- Relation lifting, a survey
- Parametric corecursion
- A decision procedure for (co)datatypes in SMT solvers
- An approach to object semantics based on terminal co-algebras
- Compositional SOS and beyond: A coalgebraic view of open systems
- Coalgebraic logic for stochastic right coalgebras
- G-reactive systems as coalgebras
- Coalgebraising subsequential transducers
- Coequational logic for finitary functors
- Observational coalgebras and complete sets of co-operations
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
- Monoid-labeled transition systems
- A coinductive calculus for asynchronous side-effecting processes
- A Kleene Theorem for Polynomial Coalgebras
- Towards weak bisimulation for coalgebras
- Information hiding in probabilistic concurrent systems
- Bialgebraic methods and modal logic in structural operational semantics
- Symmetries, local names and dynamic (de)-allocation of names
- Subsequential transducers: a coalgebraic perspective
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)
