Conditional Bisimilarity for Reactive Systems

Reference

Mathias Hülsbusch, Barbara König, Sebastian Küpper, and Lars Stoltenow. Conditional bisimilarity for reactive systems, 2020. arXiv:2004.11792.

Suggested BibTeX entry:

@misc{HKKS20b,
    author = {Mathias H{\"u}lsbusch and Barbara K{\"o}nig and Sebastian K{\"u}pper and Lars Stoltenow},
    note = {arXiv:2004.11792},
    title = {Conditional Bisimilarity for Reactive Systems},
    year = {2020}
}

See arxiv.org ...Conference version, Journal version