Sciweavers

Share
CSL
1999
Springer

A Logical Viewpoint on Process-Algebraic Quotients

10 years 4 months ago
A Logical Viewpoint on Process-Algebraic Quotients
We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if ϕ ∈ L and T satisfies ϕ, then T/∼ satisfies ϕ; if ϕ ∈ L′ and T/∼ satisfies ϕ, then T satisfies ϕ.
Antonín Kucera, Javier Esparza
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where CSL
Authors Antonín Kucera, Javier Esparza
Comments (0)
books