Introduction to coalgebra. Towards mathematics of states and observation
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modal logic (including the logic of norms) (03B45) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Categorical semantics of formal languages (18C50) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
- The complexity of computing a bisimilarity pseudometric on probabilistic automata
- New Bisimulation Semantics for Distributed Systems
- Efficient and modular coalgebraic partition refinement
- Coalgebraic semantics for nominal automata
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
- Extended Static Checking by Calculation Using the Pointfree Transform
- Coalgebraic quantum computation
- Up-to techniques for branching bisimilarity
- scientific article; zbMATH DE number 7471716 (Why is no real title available?)
- Differential 2-rigs
- Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing
- scientific article; zbMATH DE number 7471679 (Why is no real title available?)
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- The Vietoris functor and modal operators on rings of continuous functions
- Many-valued coalgebraic modal logic: one-step completeness and finite model property
- Weighted and branching bisimilarities from generalized open maps
- Coinduction in Flow: The Later Modality in Fibrations
- The Lattice-Theoretic Essence of Property Directed Reachability Analysis
- Learners' languages
- Categories for dynamic epistemic logic
- Resource-aware automata and games for optimal synthesis
- Algebraic-coalgebraic recursion theory of history-dependent dynamical system models
- Probabilistic logics based on Riesz spaces
- scientific article; zbMATH DE number 7577568 (Why is no real title available?)
- Congruences for stochastic automata
- Lax Liftings and Lax Distributive Laws
- Minimality Notions via Factorization Systems and Examples
- Categorical Büchi and parity conditions via alternating fixed points of functors
- Hybrid automata as coalgebras
- Logical predicates in higher-order mathematical operational semantics
- Distributive laws for monotone specifications
- Remarks on hyperspaces for Priestley spaces
- Distributive laws for monotone specifications
- scientific article; zbMATH DE number 7566077 (Why is no real title available?)
- (In)finite trace equivalence of probabilistic transition systems
- Preservation and reflection of bisimilarity via invertible steps
- Monoidal streams for dataflow programming
- On star expressions and completeness theorems
- Convexity and order in probabilistic call-by-name FPC
- scientific article; zbMATH DE number 2186713 (Why is no real title available?)
- Efficient Coalgebraic Partition Refinement
- Algebraic-coalgebraic recursion theory of history-dependent dynamical system models
- Distribution bisimilarity via the power of convex algebras
- Coalgebra and abstraction
- Bialgebraic methods and modal logic in structural operational semantics
- Rough and Near: Modal History of Two Theories
- Abstract categorical logic
This page was built for publication: Introduction to coalgebra. Towards mathematics of states and observation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2828459)
