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 topo...Show MoreMetadata
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.
Date of Conference: 17-17 July 2004
Date Added to IEEE Xplore: 09 August 2004
Print ISBN:0-7695-2192-4
Print ISSN: 1043-6871