Up-to techniques for branching bisimilarity

Rick Erkens, Jurriaan Rot, Bas Luttik

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)

Abstract

Ever since the introduction of behavioral equivalences on processes one has been searching for efficient proof techniques that accompany those equivalences. Both strong bisimilarity and weak bisimilarity are accompanied by an arsenal of up-to techniques: enhancements of their proof methods. For branching bisimilarity, these results have not been established yet. We show that a powerful proof technique is sound for branching bisimilarity by combining the three techniques of up to union, up to expansion and up to context for Bloom’s BB cool format. We then make an initial proposal for casting the correctness proof of the up to context technique in an abstract coalgebraic setting, covering branching but also, delay and weak bisimilarity.

Original languageEnglish
Title of host publicationSOFSEM 2020
Subtitle of host publicationTheory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Proceedings
EditorsAlexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora
Place of PublicationCham
PublisherSpringer
Pages285-297
Number of pages13
ISBN (Electronic)978-3-030-38919-2
ISBN (Print)978-3-030-38918-5
DOIs
Publication statusPublished - 17 Jan 2020
Event46th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2020 - Limassol, Cyprus
Duration: 20 Jan 202024 Jan 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12011 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference46th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2020
CountryCyprus
CityLimassol
Period20/01/2024/01/20

Fingerprint Dive into the research topics of 'Up-to techniques for branching bisimilarity'. Together they form a unique fingerprint.

Cite this