Reference:
A. Kučera and J. Esparza. A logical viewpoint on processalgebraic quotients. In Proc. of CSL'99, number 1683 in Lecture Notes in Computer Science, pages 499–514. SpringerVerlag, 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 = {499514},
publisher = {{SpringerVerlag}},
series = {{Lecture Notes in Computer Science}},
title = {A logical viewpoint on processalgebraic quotients},
year = {1999}
}
