Diacritical companions

DOI10.1016/J.ENTCS.2019.09.003OpenAlexW4211188130WikidataQ113317360 ScholiaQ113317360MaRDI QIDQ2133161FDOQ2133161

Authors: Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk 

Publication date: 29 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2019.09.003

Recommendations

• Beyond Bisimulation: The “up-to” Techniques
• scientific article; zbMATH DE number 7407797
• Coinduction up-to in a fibrational setting
• A general account of coinduction up-to
• New up-to techniques for weak bisimulation

zbMATH Keywords

bisimulationcoinductioncompaniondiacritical progressup-to technique

Mathematics Subject Classification ID

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

Cites Work

• The power of parameterization in coinductive proof
• Title not available (Why is that?)
• A coinductive calculus of streams
• On the bisimulation proof method
• Coinduction up-to in a fibrational setting
• Enhancements of the bisimulation proof method
• Complete Lattices and Up-To Techniques
• Coinduction All the Way Up
• Companions, codensity and causality
• The largest respectful function
• Proving soundness of extensional normal-form bisimilarities
• Monoidal company for accessible functors
• Tower induction and up-to techniques for CCS with fixed points
• Environmental bisimulations for delimited-control operators with dynamic prompt generation

Uses Software

• Paco

This page was built for publication: Diacritical companions

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