TY - GEN
T1 - Up-to techniques for branching bisimilarity
AU - Erkens, Rick
AU - Rot, Jurriaan
AU - Luttik, Bas
PY - 2020/1/17
Y1 - 2020/1/17
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85079086057&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-38919-2_24
DO - 10.1007/978-3-030-38919-2_24
M3 - Conference contribution
AN - SCOPUS:85079086057
SN - 978-3-030-38918-5
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 285
EP - 297
BT - SOFSEM 2020
A2 - Chatzigeorgiou, Alexander
A2 - Dondi, Riccardo
A2 - Herodotou, Herodotos
A2 - Kapoutsis, Christos
A2 - Manolopoulos, Yannis
A2 - Papadopoulos, George A.
A2 - Sikora, Florian
PB - Springer
CY - Cham
T2 - 46th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2020
Y2 - 20 January 2020 through 24 January 2020
ER -