Conditional Bisimilarity for Reactive Systems
Reference
Mathias Hülsbusch, Barbara König, Sebastian Küpper, and Lars Stoltenow. Conditional bisimilarity for reactive systems. In Proc. of FSCD '20, volume 167 of LIPIcs, pages 10:1–10:19. Schloss Dagstuhl – Leibniz Center for Informatics, 2020.
Suggested BibTeX entry:
@inproceedings{HKKS20a,
author = {Mathias H\"ulsbusch and Barbara K\"onig and Sebastian K\"upper and Lars Stoltenow},
booktitle = {Proc. of FSCD '20},
pages = {10:1--10:19},
publisher = {Schloss Dagstuhl -- Leibniz Center for Informatics},
series = {{LIPIcs}},
title = {Conditional Bisimilarity for Reactive Systems},
volume = {167},
year = {2020}
}
