. "0955-792X" . "596922" . "A Logical Viewpoint on Process-algebraic Quotients" . "863-880" . . "A Logical Viewpoint on Process-algebraic Quotients"@cs . "Ku\u010Dera, Anton\u00EDn" . "Journal of logic and computation" . . "transition systems; behavioural equivalences; quotients"@en . "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." . . "GB - Spojen\u00E9 kr\u00E1lovstv\u00ED Velk\u00E9 Brit\u00E1nie a Severn\u00EDho Irska" . . . "A Logical Viewpoint on Process-algebraic Quotients"@cs . "14330" . . "A Logical Viewpoint on Process-algebraic Quotients"@en . . "P(GA201/03/1161), Z(MSM 143300001)" . . "18"^^ . . "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."@en . . "13" . "2"^^ . "RIV/00216224:14330/03:00008439!RIV08-MSM-14330___" . "A Logical Viewpoint on Process-algebraic Quotients"@en . "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."@cs . . "A Logical Viewpoint on Process-algebraic Quotients" . "1"^^ . "Esparza, Javier" . . "[71BE4A775871]" . . . "6" . . "RIV/00216224:14330/03:00008439" . .