Conditional Bisimilarity for Reactive Systems
Reference
Mathias Hülsbusch, Barbara König, Sebastian Küpper, and Lars Stoltenow. Conditional bisimilarity for reactive systems. Logical Methods in Computer Science, 18(1), 2022. Selected Papers of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020).
Suggested BibTeX entry:
@article{HKKS22,
author = {Mathias H\"ulsbusch and Barbara K\"onig and Sebastian K\"upper and Lars Stoltenow},
journal = {Logical Methods in Computer Science},
note = {Selected Papers of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)},
number = {1},
title = {Conditional Bisimilarity for Reactive Systems},
volume = {18},
year = {2022}
}
