We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
This paper studies Hennessy-Milner classes, classes of Kripke models where
modal-logical equivalence coincides with bisimulation. Concepts associated
with these classes in the literature (Goldblatt [6], Visser [8])are studied and
compared and the structure of the collection of maximal Hennessy-Milner
classes is investigated (how many are there, what is their intersection?). The
insights into these classes are applied to process algebra. This results in a
Hennessy-Milner process algebra for a non-trivial process language, whose
standard graph-semantics is not Hennessy-Milner
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.