• DocumentCode
    584621
  • Title

    Representations of Algebraic Dcpo´s by Information Systems and Abstract Bases

  • Author

    Lankun Guo ; Qingguo Li ; Yaping Lin ; Hongping Liu

  • Author_Institution
    Coll. of Inf. Sci. & Eng, Hunan Univ. Changsha, Changsha, China
  • fYear
    2012
  • fDate
    6-8 Nov. 2012
  • Firstpage
    73
  • Lastpage
    76
  • Abstract
    In this paper, notions of general algebraic information systems and dense abstract bases are introduced. Their relationships with algebraic dcpo´s are investigated. It is shown that they both represent exactly the algebraic dcpo´s. Technically, the corresponding categories of these three structures are equivalent with each other.
  • Keywords
    information theory; algebraic dcpo representation; dense abstract bases; general algebraic information systems; Abstracts; Bridges; Computer science; Concrete; Educational institutions; Information systems; Semantics; Abstract base; Algebraic dcpo; Categorical equivalence; Information system;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering (WCSE), 2012 Third World Congress on
  • Conference_Location
    Wuhan
  • Print_ISBN
    978-1-4673-4546-0
  • Type

    conf

  • DOI
    10.1109/WCSE.2012.21
  • Filename
    6394926
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=584621