Beyond image-finiteness: labelled transition systems as a Stone space
-
Published:2004
Issue:
Volume:
Page:
-
ISSN:
-
Container-title:Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
-
language:
-
Short-container-title:
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Topological Analysis of Refinement;Electronic Notes in Theoretical Computer Science;2006-08
2. Refinement is complete for implementations;Formal Aspects of Computing;2005-08
3. Labelled transition systems as a Stone space;Logical Methods in Computer Science;2005-01-26
4. LABELLED TRANSITION SYSTEMS AS A STONE SPACE;LOG METH COMPUT SCI;2005