Diacritical companions

DOI10.1016/J.ENTCS.2019.09.003MaRDI QIDQ2133161zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

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

Describes a project that uses

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)