TY  - RPRT
TI  - Labelled transition systems as a Stone space
AU  - Michael Huth
PY  - 2006
DO  - 10.2168/lmcs-1(1:1)2005
UR  - https://arxiv.org/abs/cs/0412063
ID  - cs/0412063
ER  -