Logic in Computer Science (LICS 2004)

Paper: Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space (at LICS 2004)

Authors: Michael Huth

Abstract

The bisimulation quotient of labelled transition systems over a finite set of events is a Stone space whose compact, zero-dimensional, and ultra-metrizable Hausdorff topology measures the degree of bisimilarity such that image-finite labelled transition systems are dense. A fully abstract domain for modal transition systems, modulo refinement, realizes this Stone space as a 'maximal-points space.' Therefore, we extend our results to those systems; unify existing denotational, operational, and metric semantics; and obtain consistency measures for modal transition systems.

BibTeX

  @InProceedings{Huth-BeyondImageFinitene,
    author = 	 {Michael Huth},
    title = 	 {Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space},
    booktitle =  {Proceedings of the Nineteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2004},
    year =	 2004,
    editor =	 {Harald Ganzinger},
    month =	 {July}, 
    pages =      {222--231},
    location =   {Turku, Finland}, 
    publisher =	 {IEEE Computer Society Press}
  }