Diacritical companions

DOI10.1016/j.entcs.2019.09.003WikidataQ113317360 ScholiaQ113317360MaRDI QIDQ2133161

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

bisimulation; coinduction; companion; diacritical progress; up-to technique

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Paco