Up-to techniques for branching bisimilarity

Rick Erkens, Jurriaan Rot, Bas Luttik

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)

Samenvatting

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.

Originele taal-2Engels
TitelSOFSEM 2020
SubtitelTheory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Proceedings
RedacteurenAlexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora
Plaats van productieCham
UitgeverijSpringer
Pagina's285-297
Aantal pagina's13
ISBN van elektronische versie978-3-030-38919-2
ISBN van geprinte versie978-3-030-38918-5
DOI's
StatusGepubliceerd - 17 jan 2020
Evenement46th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2020 - Limassol, Cyprus
Duur: 20 jan 202024 jan 2020

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12011 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

Congres46th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2020
LandCyprus
StadLimassol
Periode20/01/2024/01/20

Vingerafdruk Duik in de onderzoeksthema's van 'Up-to techniques for branching bisimilarity'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Erkens, R., Rot, J., & Luttik, B. (2020). Up-to techniques for branching bisimilarity. In A. Chatzigeorgiou, R. Dondi, H. Herodotou, C. Kapoutsis, Y. Manolopoulos, G. A. Papadopoulos, & F. Sikora (editors), SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Proceedings (blz. 285-297). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12011 LNCS). Springer. https://doi.org/10.1007/978-3-030-38919-2_24