Skip to main content
Article thumbnail
Location of Repository

Hennessy-Milner Classes and Process Algebra

By M. Hollenberg

Abstract

This paper studies Hennessy-Milner classes, classes of Kripke models where\ud modal-logical equivalence coincides with bisimulation. Concepts associated\ud with these classes in the literature (Goldblatt [6], Visser [8])are studied and\ud compared and the structure of the collection of maximal Hennessy-Milner\ud classes is investigated (how many are there, what is their intersection?). The\ud insights into these classes are applied to process algebra. This results in a\ud Hennessy-Milner process algebra for a non-trivial process language, whose\ud standard graph-semantics is not Hennessy-Milner

Topics: Wijsbegeerte
Year: 1994
OAI identifier: oai:dspace.library.uu.nl:1874/26462
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.