Universal coalgebra: A theory of systems
From MaRDI portal
Publication:1583483
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)- 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
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
- Kleisli morphisms and randomized congruences for the Giry monad
- Channel-based coordination via constraint satisfaction
- Synthesis of Reo circuits from scenario-based interaction specifications
- Characterising behavioural equivalence: Three sides of one coin
- Structural operational semantics for continuous state stochastic transition systems
- A compositional coalgebraic model of a fragment of fusion calculus
- A hierarchy of probabilistic system types
- Coalgebraic logic over general measurable spaces -- a survey
- Relational properties of sequential composition of coalgebras
- A bialgebraic approach to automata and formal language theory
- Generalised coinduction
- scientific article; zbMATH DE number 7379294 (Why is no real title available?)
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- Universality of categories of coalgebras
- Many-sorted coalgebraic modal logic: A model-theoretic study
- The intersection of algebra and coalgebra
- Fibrational bisimulations and quantitative reasoning
- Proof systems for Moss' coalgebraic logic
- Behavioural equivalences for coalgebras with unobservable moves
- A Category of Explicit Fusions
- Semantic constructions for the specification of objects
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions
- A coalgebraic equational approach to specifying observational structures
- Structural operational semantics for stochastic and weighted transition systems
- Bisimulation relations for dynamical and control systems
- A Bialgebraic Approach to Automata and Formal Language Theory
- Recursion and corecursion have the same equational logic
- Complementation of coalgebra automata
- Coalgebraic Models for Reactive Systems
- A coalgebraic approach to non-determinism: applications to multilattices
- From modal logic to terminal coalgebras
- Specifying coalgebras with modal logic
- Confluence of the coinductive \(\lambda\)-calculus
- Dynamical systems in categories
- A stochastic interpretation of propositional dynamic logic: expressivity
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
- On universal categories of coalgebras
- Control of discrete-event systems with partial observations using coalgebra and coinduction
- Enhanced coalgebraic bisimulation
- System theory for system identification.
- Control of discrete-event systems with modular or distributed structure
- The dual equivalence of equations and coequations for automata
- A categorical approach to syntactic monoids
- A general account of coinduction up-to
- Bisimulation relations for dynamical, control, and hybrid systems
- Structural operational semantics for non-deterministic processes with quantitative aspects
- Completeness for flat modal fixpoint logics
- Network-conscious \(\pi\)-calculus -- a model of Pastry
- Finitary coalgebraic multisemilattices and multilattices.
- Axiomatizing GSOS with termination
- Recursive coalgebras of finitary functors
- Quantitative Kleene coalgebras
- Completeness and the finite model property for Kleene algebra, reconsidered
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- On the structure of categories of coalgebras
- Deriving Syntax and Axioms for Quantitative Regular Behaviours
- Services and Contracts: Coalgebraically
- Binary trees as a computational framework
- A perspective on service orchestration
- A coalgebraic presentation of structured transition systems
- scientific article; zbMATH DE number 2186713 (Why is no real title available?)
- Equational and implicational classes of coalgebras
- Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
- Continuous normalization for the lambda-calculus and Gödel's T
- Fixed Points of Functors - A Short Abstract
- Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\)
- What is the coalgebraic analogue of Birkhoff's variety theorem?
- Final coalgebras in accessible categories
- Algebraic-coalgebraic recursion theory of history-dependent dynamical system models
- A coalgebraic semantics for causality in Petri nets
- Equational coalgebraic logic
- Coequational logic for accessible functors
- Complete sets of cooperations
- CIA structures and the semantics of recursion
- Algebraic-coalgebraic specification in CoCASL
- The continuum as a final coalgebra
- Equational axiomatizability for coalgebra
- A modal proof theory for final polynomial coalgebras
- Behavioural equivalences for timed systems
- Efficient Coalgebraic Partition Refinement
- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum
- Refinement patterns for ASTDs
- The graph conception of set
- Dualising initial algebras
- Pointwise extensions of GSOS-defined operations
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)
