Diacritical companions

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

Piotr Polesiuk, Dariusz Biernacki, Sergueï Lenglet

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)

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
• Title not available (Why is that?)
• Tower Induction and Up-to Techniques for CCS with Fixed Points
• Title not available (Why is that?)

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)