메뉴 건너뛰기




Volumn 1, Issue 1, 2005, Pages

Labelled transition systems as a stone space

Author keywords

Hennessy Milner logic; Modal and labelled transition systems; Refinement and bisimulation; Stone space

Indexed keywords

COMPUTER CIRCUITS; SEMANTICS;

EID: 85007020944     PISSN: None     EISSN: 18605974     Source Type: Journal    
DOI: 10.2168/LMCS-1(1:1)2005     Document Type: Article
Times cited : (11)

References (43)
  • 1
    • 0026171162 scopus 로고
    • A domain equation for bisimulation
    • S. Abramsky. A domain equation for bisimulation. Information and Computation, 92(2):161-218, June 1991.
    • (1991) Information and Computation , vol.92 , Issue.2 , pp. 161-218
    • Abramsky, S.1
  • 2
    • 0001847686 scopus 로고
    • Domain theory
    • In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Oxford Univ. Press
    • 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.
    • (1994) Handbook of Logic in Computer Science , vol.3 , pp. 1-168
    • Abramsky, S.1    Jung, A.2
  • 4
    • 0037209704 scopus 로고    scopus 로고
    • A Category of Compositional Domain-Models for Separable Stone Spaces
    • January
    • 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.
    • (2003) Theoretical Computer Science , vol.290 , Issue.1 , pp. 599-635
    • Alessi, F.1    Baldan, P.2    Honsell, F.3
  • 8
    • 85050550846 scopus 로고
    • Abstract interpretation: A unified lattice model for static analysis of programs
    • Los Angeles, California. ACM Press
    • P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs. In Proc. of the 4th ACM Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, California. ACM Press, 1977.
    • (1977) Proc. of the 4Th ACM Symposium on Principles of Programming Languages , pp. 238-252
    • Cousot, P.1    Cousot, R.2
  • 10
    • 4544379156 scopus 로고    scopus 로고
    • The Existence of Finite Abstractions for Branching Time Model Checking
    • 13-17 July, Turku, Finland. IEEE Computer Society Press
    • D. Dams and K. Namjoshi. The Existence of Finite Abstractions for Branching Time Model Checking. In Proc. of the Nineteenth Annual IEEE Symposium on Logic in Computer Science, pages 335-344, 13-17 July, Turku, Finland. IEEE Computer Society Press, 2004.
    • (2004) Proc. of the Nineteenth Annual IEEE Symposium on Logic in Computer Science , pp. 335-344
    • Dams, D.1    Namjoshi, K.2
  • 11
    • 0031102750 scopus 로고    scopus 로고
    • Abstract interpretation of reactive systems
    • D. Dams, R. Gerth, and O. Grumberg. Abstract interpretation of reactive systems. ACM TOPLAS, 19:253-291, 1997.
    • (1997) ACM TOPLAS , vol.19 , pp. 253-291
    • Dams, D.1    Gerth, R.2    Grumberg, O.3
  • 24
    • 0021974161 scopus 로고
    • Algebraic laws for nondeterminism and concurrency
    • January
    • M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137-161, January 1985.
    • (1985) Journal of the ACM , vol.32 , Issue.1 , pp. 137-161
    • Hennessy, M.1    Milner, R.2
  • 26
    • 35048831379 scopus 로고    scopus 로고
    • Modal transition systems: A foundation for threevalued program analysis
    • In D. Sands, editor, Springer Verlag, April
    • M. Huth, R. Jagadeesan, and D. A. Schmidt. Modal transition systems: a foundation for threevalued program analysis. In D. Sands, editor, Proc. of ESOP’2001, pages 155-169. Springer Verlag, April 2001.
    • (2001) Proc. of ESOP’2001 , pp. 155-169
    • Huth, M.1    Jagadeesan, R.2    Schmidt, D.A.3
  • 27
    • 23844521156 scopus 로고    scopus 로고
    • A domain equation for refinement of partial systems
    • Cambridge University Press, August 2004
    • M. Huth, R. Jagadeesan, and D. A. Schmidt. A domain equation for refinement of partial systems. Mathematical Structures in Computer Science, 14(4):469-505, Cambridge University Press, August 2004.
    • Mathematical Structures in Computer Science , vol.14 , Issue.4 , pp. 469-505
    • Huth, M.1    Jagadeesan, R.2    Schmidt, D.A.3
  • 29
    • 4544291537 scopus 로고    scopus 로고
    • Beyond image-finiteness: Labelled transition systems as a Stone space
    • 13-17 July, Turku, Finland, IEEE Computer Society Press
    • M. Huth. Beyond image-finiteness: labelled transition systems as a Stone space. In: Proc. of the Nineteenth Annual IEEE Symposium on Logic in Computer Science, pages 222-231, 13-17 July, Turku, Finland, IEEE Computer Society Press, 2004.
    • (2004) Proc. of the Nineteenth Annual IEEE Symposium on Logic in Computer Science , pp. 222-231
    • Huth, M.1
  • 31
    • 49049126479 scopus 로고
    • Results on the propositional mu-calculus
    • D. Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27:333-354, 1983.
    • (1983) Theoretical Computer Science , vol.27 , pp. 333-354
    • Kozen, D.1
  • 38
    • 0028518019 scopus 로고
    • A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
    • October
    • 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.
    • (1994) IEEE Transactions on Software Engineering , vol.20 , Issue.10 , pp. 760-773
    • Nuseibeh, B.1    Kramer, J.2    Finkelstein, A.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.