Coinduction All the Way Up

DOI10.1145/2933575.2934564zbMATH Open1394.68352OpenAlexW2530227870MaRDI QIDQ4635886FDOQ4635886

Authors: Damien Pous 

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2933575.2934564

Recommendations

• Probability all the way up
• A general account of coinduction up-to
• Coinduction up-to in a fibrational setting
• A note on FDE ``all the way up
• Practical coinduction
• Total logic
• Fully coherent inference

zbMATH Keywords

coinductioncomplete latticesGSOSenhancementsparameterized coinduction

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Mechanization of proofs and logical operations (03B35) Complete lattices, completions (06B23)

Cited In (27)

• Companions, causality and codensity
• Corecursion up-to via causal transformations
• Bisimulation and coinduction enhancements: a historical perspective
• Into the Infinite - Theory Exploration for Coinduction
• Up-to techniques for behavioural metrics via fibrations
• (Co)inductive proof systems for compositional proofs in reachability logic
• Divergence and unique solution of equations
• Up-to techniques for branching bisimilarity
• Shall we juggle, coinductively?
• Bisimulations for delimited-control operators
• Tower induction and up-to techniques for CCS with fixed points
• Coinduction in Flow: The Later Modality in Fibrations
• Title not available (Why is that?)
• Diacritical companions
• Compositional coinduction with sized types
• (Towards a) statistical probabilistic lazy lambda calculus
• Coinductive Proof Principles for Stochastic Processes
• Up-to techniques for behavioural metrics via fibrations
• On the key dependent message security of the Fujisaki-Okamoto constructions
• Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms
• Title not available (Why is that?)
• Divergence and unique solution of equations
• Coinductive algorithms for Büchi automata
• Title not available (Why is that?)
• From bounded checking to verification of equivalence via symbolic up-to techniques
• Friends with benefits. Implementing corecursion in foundational proof assistants
• Companions, codensity and causality

Uses Software

• CompCertTSO

This page was built for publication: Coinduction All the Way Up

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