• DocumentCode
    2926374
  • Title

    Interpreted Systems and ATL Logics

  • Author

    Koo, Jarok

  • Author_Institution
    Sch. of Comput. Eng. & Inf. Technol., Univ. of Ulsan, Ulsan, South Korea
  • fYear
    2009
  • fDate
    24-26 Nov. 2009
  • Firstpage
    1259
  • Lastpage
    1261
  • Abstract
    We compare Interpreted systems and ATL (alternating-time temporal logic) and study the similarities and differences between the two semantics.
  • Keywords
    temporal logic; ATL logics; alternating-time temporal logic; interpreted systems; Application software; Cost accounting; Formal verification; Information technology; Logic; Multiagent systems; Protocols; Tellurium; ATL; Semantics; interpreted systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Sciences and Convergence Information Technology, 2009. ICCIT '09. Fourth International Conference on
  • Conference_Location
    Seoul
  • Print_ISBN
    978-1-4244-5244-6
  • Electronic_ISBN
    978-0-7695-3896-9
  • Type

    conf

  • DOI
    10.1109/ICCIT.2009.314
  • Filename
    5369943
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2926374