A structural co-induction theorem

DOI10.1007/3-540-58027-1_4MaRDI QIDQ5890042zbMATH OpenOpenAlexFDO

Authors Jan J. M. M. Rutten

Publication date 28 April 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58027-1_4

zbMATH Keywords

continuous functordomain equationlabel transition systemstructural inductiontransition system

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1497869
• On final coalgebras of continuous functors
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• A general final coalgebra theorem
• Induction, coinduction, and adjoints

Cites work

• A domain equation for bisimulation
• A final coalgebra theorem
• Algebraic specification of data types: A synthetic approach
• Co-induction in relational semantics
• Epis need not be dense
• scientific article; zbMATH DE number 431772 (Why is no real title available?)
• scientific article; zbMATH DE number 4181325 (Why is no real title available?)
• scientific article; zbMATH DE number 3859115 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Solving reflexive domain equations in a category of complete metric spaces
• The Category-Theoretic Solution of Recursive Domain Equations

Cited in

(4)

• A structural induction theorem for processes
• On a co-induction question of Kechris
• Induction, coinduction, and adjoints
• Coinductive characterizations of applicative structures

This page was built for publication: A structural co-induction theorem

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