Další formáty:
BibTeX
LaTeX
RIS
@article{491615, author = {Kučera, Antonín and Esparza, Javier}, article_location = {Oxford}, article_number = {6}, keywords = {transition systems; behavioural equivalences; quotients}, language = {eng}, issn = {0955-792X}, journal = {Journal of logic and computation}, title = {A Logical Viewpoint on Process-algebraic Quotients}, volume = {13}, year = {2003} }
TY - JOUR ID - 491615 AU - Kučera, Antonín - Esparza, Javier PY - 2003 TI - A Logical Viewpoint on Process-algebraic Quotients JF - Journal of logic and computation VL - 13 IS - 6 SP - 863-880 EP - 863-880 PB - Oxford University Press SN - 0955792X KW - transition systems KW - behavioural equivalences KW - quotients N2 - Let E be a process equivalence. A formula F is preserved by E-quotients iff for every process S of a transition system T we have that if S satisfies F, then also [S] satisfies F, where [S] is the equivalence class of S in the quotient of T under E. We classify all formulae of Hennessy-Milner logic which are preserved by E-quotients of image-finite processes. Our result is generic in the sense that it works for a large class of process equivalences which admit a modal characterization in Hennessy-Milner logic satisfying certain closure properties. A practical applicability of the result is demonstrated on equivalences of the linear/branching time spectrum. ER -
KUČERA, Antonín a Javier ESPARZA. A Logical Viewpoint on Process-algebraic Quotients. \textit{Journal of logic and computation}. Oxford: Oxford University Press, 2003, roč.~13, č.~6, s.~863-880. ISSN~0955-792X.
|