Coinduction All the Way Up
From MaRDI portal
Publication:4635886
DOI10.1145/2933575.2934564zbMath1394.68352OpenAlexW2530227870MaRDI QIDQ4635886
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (20)
Tower Induction and Up-to Techniques for CCS with Fixed Points ⋮ Diacritical companions ⋮ Unnamed Item ⋮ Into the Infinite - Theory Exploration for Coinduction ⋮ Unnamed Item ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Companions, Codensity and Causality ⋮ Friends with Benefits ⋮ Up-to Techniques for Branching Bisimilarity ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ Up-To Techniques for Behavioural Metrics via Fibrations ⋮ Coinductive Algorithms for Büchi Automata ⋮ (Co)inductive proof systems for compositional proofs in reachability logic ⋮ Unnamed Item ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Corecursion up-to via causal transformations
Uses Software
This page was built for publication: Coinduction All the Way Up
