Other formats:
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 and Javier ESPARZA. A Logical Viewpoint on Process-algebraic Quotients. \textit{Journal of logic and computation}. Oxford: Oxford University Press, 2003, vol.~13, No~6, p.~863-880. ISSN~0955-792X.
|
