Companions, codensity and causality
From MaRDI portal
Logic in computer science (03B70) Complete lattices, completions (06B23) Applications of universal algebra in computer science (08A70) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cites work
- A calculus of mobile processes. I
- A coinductive calculus of streams
- A general account of coinduction up-to
- A lattice-theoretical fixpoint theorem and its applications
- A theory of bisimulation for a fragment of concurrent ML with local names
- Abstract GSOS rules and a modular treatment of recursive definitions
- Algebraically compact functors
- Bialgebras for structural operational semantics: an introduction
- Category theory for operational semantics
- Circular coinduction in Coq using bisimulation-up-to techniques
- Coalgebraic characterizations of context-free languages
- Codensity and the ultrafilter monad
- Coinduction All the Way Up
- Coinduction up-to in a fibrational setting
- Combining a monad and a comonad
- Companions, codensity and causality
- CompCertTSO
- Complete Lattices and Up-To Techniques
- Distributive laws for the coinductive solution of recursive equations
- Generalizing the powerset construction, coalgebraically
- scientific article; zbMATH DE number 4083875 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 3458870 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1251177 (Why is no real title available?)
- scientific article; zbMATH DE number 1497875 (Why is no real title available?)
- On the bisimulation proof method
- Polynomial functors and polynomial monads
- Presenting Morphisms of Distributive Laws
- Proving language inclusion and equivalence by coinduction
- Stream differential equations: specification formats and solution methods
- The -calculus: A theory of mobile processes
- The largest respectful function
- The power of parameterization in coinductive proof
- Well-behaved translations between structural operational semantics
Cited in
(11)- Corecursion up-to via causal transformations
- Diacritical companions
- Bisimulation and coinduction enhancements: a historical perspective
- Chains of theories and companionability
- Companions, codensity and causality
- Monoidal company for accessible functors
- Companions, causality and codensity
- Coinductive Properties of Causal Maps
- Coinduction: automata, formal proof, companions (invited paper)
- Coinduction in Flow: The Later Modality in Fibrations
- An implicit function theorem for the stream calculus
This page was built for publication: Companions, codensity and causality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988363)
