메뉴 건너뛰기




Volumn 365, Issue 3, 2006, Pages 171-183

Projective topology on bifinite domains and applications

Author keywords

Bifinite domains; Continuous valuations; Maximal elements; Radon measures

Indexed keywords

COMPUTATION THEORY; PROBABILISTIC LOGICS; THEOREM PROVING;

EID: 33750055019     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.07.047     Document Type: Article
Times cited : (8)

References (15)
  • 1
    • 84855204410 scopus 로고    scopus 로고
    • Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures
    • Abbes S., and Benveniste A. Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures. Inform. and Comput. 204 2 (2006) 231-274
    • (2006) Inform. and Comput. , vol.204 , Issue.2 , pp. 231-274
    • Abbes, S.1    Benveniste, A.2
  • 3
    • 0345690124 scopus 로고    scopus 로고
    • Markov nets: probabilistic models for distributed and concurrent systems
    • Benvensite A., Haar S., and Fabre E. Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. Automatic Control 48 11 (2003) 1936-1950
    • (2003) IEEE Trans. Automatic Control , vol.48 , Issue.11 , pp. 1936-1950
    • Benvensite, A.1    Haar, S.2    Fabre, E.3
  • 5
    • 33750038216 scopus 로고    scopus 로고
    • N. Bourbaki, Intégration, chapitre IX, Éléments de Mathématiques, fascicule XXXV, Hermann, 1961.
  • 7
    • 33750062826 scopus 로고    scopus 로고
    • C. Gunter, Profinite solutions for recursive domain equations, Ph.D. Thesis, University of Wisconsin, 1985.
  • 8
    • 84968517697 scopus 로고
    • Measures in boolean algebra
    • Horn A., and Tarski A. Measures in boolean algebra. Trans. Amer. Math. Soc. 64 3 (1948) 467-497
    • (1948) Trans. Amer. Math. Soc. , vol.64 , Issue.3 , pp. 467-497
    • Horn, A.1    Tarski, A.2
  • 9
    • 0004072372 scopus 로고
    • Cambridge University Press, Cambridge
    • Johnstone P.T. Stone Spaces (1982), Cambridge University Press, Cambridge
    • (1982) Stone Spaces
    • Johnstone, P.T.1
  • 10
    • 33750047424 scopus 로고    scopus 로고
    • A. Jung, Cartesian Closed Categories of Domains, CWI Tracts, Vol. 66, Centrum voor Wiskunde en Informatica, Amsterdam, 1989.
  • 13
    • 49149133619 scopus 로고
    • Petri nets, event structures and domains, part 1
    • Nielsen M., Plotkin G., and Winskel G. Petri nets, event structures and domains, part 1. Theoret. Comput. Sci. 13 (1981) 85-108
    • (1981) Theoret. Comput. Sci. , vol.13 , pp. 85-108
    • Nielsen, M.1    Plotkin, G.2    Winskel, G.3
  • 14
    • 0000110250 scopus 로고
    • A powerdomain construction
    • Plotkin G. A powerdomain construction. SIAM J. Comput. 5 (1976) 452-487
    • (1976) SIAM J. Comput. , vol.5 , pp. 452-487
    • Plotkin, G.1
  • 15
    • 35048824804 scopus 로고    scopus 로고
    • D. Varacca, H. Völzer, G. Winskel, Probabilistic event structures and domains, in: Proc. of CONCUR 2004, Internat. Conf. on Concurrency Theory, Lecture Notes in Computer Science, Vol. 3170, Springer, Berlin, 2004, pp. 481-496.


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