License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CSL.2023.4
URN: urn:nbn:de:0030-drops-174658
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/17465/
Go to the corresponding LIPIcs Volume Portal

Sangiorgi, Davide

Enhanced Induction in Behavioural Relations (Invited Talk)

pdf-format:
LIPIcs-CSL-2023-4.pdf (0.4 MB)

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.

BibTeX - Entry

@InProceedings{sangiorgi:LIPIcs.CSL.2023.4,
  author =	{Sangiorgi, Davide},
  title =	{{Enhanced Induction in Behavioural Relations}},
  booktitle =	{31st EACSL Annual Conference on Computer Science Logic (CSL 2023)},
  pages =	{4:1--4:6},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-264-8},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{252},
  editor =	{Klin, Bartek and Pimentel, Elaine},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2023/17465},
  URN =		{urn:nbn:de:0030-drops-174658},
  doi =		{10.4230/LIPIcs.CSL.2023.4},
  annote =	{Keywords: coinduction, induction, semantics, behavioural relations}
}

Keywords: coinduction, induction, semantics, behavioural relations
Collection: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
Issue Date: 2023
Date of publication: 01.02.2023

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI