Loading [a11y]/accessibility-menu.js
Beyond image-finiteness: labelled transition systems as a Stone space | IEEE Conference Publication | IEEE Xplore

Beyond image-finiteness: labelled transition systems as a Stone space


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 More

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
Conference Location: Turku, Finland

References

References is not available for this document.