Modular coinduction up-to for higher-order languages via first-order transition systems

The bisimulation proof method can be enhanced by employing `bisimulations up-to' techniques. A comprehensive theory of such enhancements has been developed for first-order (i.e., CCS-like) labelled transition systems (LTSs) and bisimilarity, based on abstract fixed-point theory and compatible functi...

Celý popis

Podrobná bibliografie

Hlavní autoři:	Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	Logical Methods in Computer Science e.V. 2021-09-01
Edice:	Logical Methods in Computer Science
Témata:	computer science - logic in computer science computer science - programming languages
On-line přístup:	https://lmcs.episciences.org/6046/pdf
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!