Reference:

A. Kučera and J. Esparza. A logical viewpoint on process-algebraic quotients. In Proc. of CSL'99, number 1683 in Lecture Notes in Computer Science, pages 499–514. Springer-Verlag, 1999.

Abstract:

We study the following problem: Given a transition system and its quotient under an equivalence, which are the sets , of Hennessy–Milner formulae such that: if is in and satisfies , then satisfies ; if is in and satisfies , then satisfies .

Suggested BibTeX entry:

@inproceedings{KE99,
    author = {A. Ku\v{c}era and J. Esparza},
    booktitle = {Proc. of CSL'99},
    number = {1683},
    pages = {499-514},
    publisher = {{Springer-Verlag}},
    series = {{Lecture Notes in Computer Science}},
    title = {A logical viewpoint on process-algebraic quotients},
    year = {1999}
}