We outline an attempt at transporting the well-known theory of enhancements for the coinduction proof method, widely used on behavioural relations such as bisimilarity, onto the realms of inductive behaviour relations, i.e., relations defined from inductive observables, and discuss relevant literature.
Enhanced Induction in Behavioural Relations / Sangiorgi Davide. - ELETTRONICO. - 252:(2023), pp. 4.1-4.6. (Intervento presentato al convegno 31st EACSL Annual Conference on Computer Science Logic, CSL 2023 tenutosi a Warsaw, Poland nel February 13-16, 2023) [10.4230/LIPIcs.CSL.2023.4].
Enhanced Induction in Behavioural Relations
Sangiorgi D.
2023
Abstract
We outline an attempt at transporting the well-known theory of enhancements for the coinduction proof method, widely used on behavioural relations such as bisimilarity, onto the realms of inductive behaviour relations, i.e., relations defined from inductive observables, and discuss relevant literature.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
