Coinduction All the Way Up
From MaRDI portal
Publication:4635886
DOI10.1145/2933575.2934564zbMATH Open1394.68352OpenAlexW2530227870MaRDI QIDQ4635886FDOQ4635886
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Mechanization of proofs and logical operations (03B35) Complete lattices, completions (06B23)
Cited In (23)
- Corecursion up-to via causal transformations
- Bisimulation and coinduction enhancements: a historical perspective
- Into the Infinite - Theory Exploration for Coinduction
- (Co)inductive proof systems for compositional proofs in reachability logic
- Title not available (Why is that?)
- Friends with Benefits
- Companions, Codensity and Causality
- Coinduction in Flow: The Later Modality in Fibrations
- Title not available (Why is that?)
- Diacritical companions
- Up-to Techniques for Branching Bisimilarity
- (Towards a) statistical probabilistic lazy lambda calculus
- Up-to techniques for behavioural metrics via fibrations
- Coinductive Algorithms for Büchi Automata
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions
- Title not available (Why is that?)
- Title not available (Why is that?)
- From bounded checking to verification of equivalence via symbolic up-to techniques
- Up-To Techniques for Behavioural Metrics via Fibrations
- Tower Induction and Up-to Techniques for CCS with Fixed Points
Uses Software
Recommendations
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)
