Generalised coinduction

DOI10.1017/S0960129502003900MaRDI QIDQ4408808zbMATH OpenOpenAlexFDO

Authors Falk Bartels

Publication date 27 November 2003

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129502003900

zbMATH Keywords

bisimulationcoalgebracoinductioncomputer system modelsproof schemata

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Algebraic theory of languages and automata (68Q70)

Recommendations

• Generalised coinduction
• Universal coalgebra: A theory of systems
• State-based systems and (F₁,F₂)-coalgebras
• scientific article; zbMATH DE number 1064116
• scientific article; zbMATH DE number 1314221

Cited in

(35)

• Universal coalgebra: A theory of systems
• p-adic physics, non-well-founded reality and unconventional computing
• Steps and traces
• Composing dinatural transformations: towards a calculus of substitution
• Corecursion up-to via causal transformations
• Bisimulation and coinduction enhancements: a historical perspective
• Recursive coalgebras from comonads
• GSOS for probabilistic transition systems (extended abstract)
• Generalized coiteration schemata
• Computable functions on final coalgebras
• Algebraic-coalgebraic recursion theory of history-dependent dynamical system models
• Stream differential equations: specification formats and solution methods
• Concrete stream calculus: an extended study
• A coinductive calculus for asynchronous side-effecting processes
• A coinductive calculus for asynchronous side-effecting processes
• scientific article; zbMATH DE number 1314221 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• Generalizing Substitution
• Relatively terminal coalgebras
• Coalgebraic theories of sequences in PVS
• Shall we juggle, coinductively?
• Generalised coinduction
• The Recursion Scheme from the Cofree Recursive Comonad
• Proving the unique fixed-point principle correct: an adventure with category theory
• A general account of coinduction up-to
• Practical coinduction
• Unifying structured recursion schemes. An extended study
• Coinductive Proof Principles for Stochastic Processes
• Bisimulation proof methods in a path-based specification language for polynomial coalgebras
• Coinduction: automata, formal proof, companions (invited paper)
• Unguarded recursion on coinductive resumptions
• Strong induction is an up-to technique
• On graded monads, distributive laws and costrong functors
• A coalgebraic approach to the semantics of the ambient calculus
• Algebraic-coalgebraic recursion theory of history-dependent dynamical system models

This page was built for publication: Generalised coinduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4408808)