loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)
Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space
Turku, Finland
July 13-July 17
ISBN: 0-7695-2192-4
ASCII Text
x 
 
Michael Huth, "Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space," Logic in Computer Science, Symposium on, pp. 222-231, 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/LICS.2004.1319616,
author = {Michael Huth},
title = {Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space},
journal ={Logic in Computer Science, Symposium on},
volume = {0},
year = {2004},
issn = {1043-6871},
pages = {222-231},
doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2004.1319616},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Logic in Computer Science, Symposium on
TI - Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space
SN - 1043-6871
SP222
EP231
A1 - Michael Huth,
PY - 2004
KW - null
VL - 0
JA - Logic in Computer Science, Symposium on
ER -
 
Michael Huth, Imperial College London
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.
Citation:
Michael Huth, "Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space," lics, pp.222-231, 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.