2026-07-22T11:39:49Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:17465 2024-03-12T12:01:07Z ddc:004 open_access

Enhanced Induction in Behavioural Relations (Invited Talk) Sangiorgi, Davide coinduction induction semantics behavioural relations 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Davide Sangiorgi 2023 Is Part Of LIPIcs, Volume 252, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2023.4 urn:nbn:de:0030-drops-174658 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2023.4 eng https://creativecommons.org/licenses/by/4.0/legalcode