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

Proceedings - Symposium on Logic in Computer Science

Volumn 19, Issue , 2004, Pages 222-231

  Huth, Michael ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER SIMULATION; MATHEMATICAL MODELS; MODAL ANALYSIS; NETWORK PROTOCOLS; SECURITY OF DATA; THEOREM PROVING; TOPOLOGY;

BISIMULATION QUOTIENT; DEGREE OF INCONSISTENCY; LABELLED TRANSITION SYSTEMS; MODAL TRANSITION SYSTEMS;

COMPUTER SCIENCE;

EID: 4544291537     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/lics.2004.1319616     Document Type: Conference Paper

References (33)

1. S. Abramsky. A domain equation for bisimulation. Information and Computation, 92(2): 161-218, June 1991.
2. S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 1-168. Oxford Univ. Press, 1994.
3. F. Alessi, P. Baldan, and F. Honsell. Partializing Stone spaces using SFP domains. In M. Bidoit and M. Dauchet, editors, TAPSOFT'97 Conference Proceedings, volume 1214 of Lecture Notes in Computer Science, pages 478-489, Lille, France, 14-18 April 1997. Springer Verlag.
4. F. Alessi, P. Baldan, and F. Honsell. A Category of Compositional Domain-Models for Separable Stone Spaces. Theoretical Computer Science, 290(1):599-635, January 2003.
5. G. Bruns and P. Godefroid, Model Checking Partial State Spaces with 3-Valued Temporal Logics. In Proc. of the 11th Int'l Conference on Computer Aided Verification, volume 1633 of Lecture Notes in Computer Science, pages 274-287. Springer Verlag, July 1999.
6. B. Courcelle and M. Nivat. Algebraic families of interpretations. In Proc. of the 17th IEEE Symposium on Foundations of Computer Science, pages 137-146, October 1976.
7. D. Dams. Abstract interpretation and partition refinement for model checking. PhD thesis, Technische Universiteit Eindhoven, The Netherlands, 1996.
8. D. Dams, R. Gerth, and O. Grumberg. Abstract interpretation of reactive systems. ACM TOPLAS, 19:253-291, 1997.
9. J. W. de Bakker and J. I. Zucker. Denotational Semantics Of Concurrency. In Proc. 14th Annual ACM Symposium on Theory of Computing, pages 153-158, New York, New York, 1982. ACM Press.
10. J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. Approximating Labeled Markov Processes. In Proc. of the 15th Annual IEEE Symposium on Logic in Computer Science (LICS'00), Santa Barbara, California, 26-29 June 2000. IEEE Computer Society Press.
11. J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. The Metric Analogue of Weak Bisimulation for Probabilistic Processes. In Proc. of the 17th Annual IEEE Symposium on Logic in Computer Science, Copenhagen, Denmark, July 2002. IEEE Computer Society.
12. A. Di Pierro, C. Hankin, and H. Wiklicky. Approximate Non-interference. Journal of Computer Security, 12(1):37-82, 2004.
13. D. C. Gause and G. M. Weinberg. Exploring Requirements: Quality Before Design. Dorset House Publishing, 353 West 12th Street, New York, NY 10014, 1989.
14. P. Godefroid, M. Huth, and R. Jagadeesan. Abstraction-based Model Checking using Modal Transition Systems. In Proc. of the 12th Int'l Conference on Theory and Practice of Concurrency (CONCUR'01), volume 2154 of Lecture Notes in Computer Science, pages 426-440. Springer Verlag, August 2001.
15. P. Godefroid and R. Jagadeesan. Automatic Abstraction Using Generalized Model Checking. In E. Brinksma and K. G. Larsen, editors, Proc. of the 14th Int'l Conference on Computer Aided Verification (CAV 2002), volume 2404 of Lecture Notes in Computer Science, pages 137-150, Copenhagen, Denmark, July 2002. Springer Verlag.
16. P. Godefroid and R. Jagadeesan. On The Expressiveness of 3-Valued Models. In L. D. Zuck, P C. Attie, A. Cortesi, and S. Mukhopadhyay, editors, Proc. of the 4th Int'l Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'2003), volume 2575 of LNCS, pages 206-222, New York, January 2003. Springer Verlag.
17. J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright. Initial algebra semantics and continuous algebras. Journal of the ACM, 24(1):44-67, 1977.
18. C. Gunter. The mixed power domain. Theoretical Computer Science, 103:311-334, 1992.
19. R. Heckmann. Set Domains. In Proc. of the 3rd European Symposium on Programming (ESOP'90), volume 432 of Lecture Notes in Computer Science, pages 177-196. Springer Verlag, 1990.
20. M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137-161, January 1985.
21. M. Huth, R. Jagadeesan, and D. A. Schmidt. Modal transition systems: a foundation for three-valued program analysis. In D. Sands, editor, Proc. of ESOP'2001, pages 155-169. Springer Verlag, April 2001.
22. M. Huth, R. Jagadeesan, and D. A. Schmidt. A domain equation for refinement of partial systems. To appear in Mathematical Structures in Computer Science, Cambridge University Press, 2004.
23. D. Jackson. Structuring Z Specifications With Views. ACM Trans. on Software Engineering and Methodology, 4(4):365-389, October 1995.
24. D. Kozen. Results on the prepositional mu-calculus. Theoretical Computer Science, 27:333-354, 1983.
25. K. G. Larsen. Modal Specifications. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, number 407 in Lecture Notes in Computer Science, pages 232-246. Springer Verlag, June 12-14 1989. International Workshop, Grenoble, France.
26. K. G. Larsen and B. Thomsen. A Modal Process Logic. In Proc. of the Third Annual IEEE Symposium on Logic in Computer Science, pages 203-210. IEEE Computer Society Press, 1988.
27. J. Lawson. Spaces of Maximal Points. Mathematical Structures in Computer Science, 7(5):543-555, October 1997.
28. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
29. M. Mislove, J. Ouaknine, and J. Worrell. Axioms for Probability and Nondeterminism. Electronic Notes in Theoretical Computer Science, 65(1):21 pages, 2003.
30. R. D. Nicola and M. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1984.
31. B. Nuseibeh, J. Kramer, and A. Finkelstein. A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. IEEE Transactions on Software Engineering, 20(10):760-773, October 1994.
32. P. Ryan, S. Schneider, M. Goldsmith, G. Lowe, and B. Roscoe. modelling and analysis of security protocols. Addison Wesley, 2001.
33. I. Sommerville, P. Sawyer, and S. Viller. Viewpoints for requirements elicitation: a practical approach. In Proc. of the 1998 Int'l Conference on Requirements Engineering (ICRE'98), Colorado Springs, Colorado, April 6-10 1998. IEEE Computer Society Press.