Регистрация | Вход в службу | FAQ      [?] 

Ключевое слово io_automata [2 articles]

Recent papers classified by the tag io_automata.
  • Revisiting the paxos algorithm
    Theoretical Computer Science, Vol. 243, No. 1-2. (28 July 2000), pp. 35-91.
    by Roberto D Prisco, Butler Lampson, Nancy Lynch
    posted to consensus general_timed_automaton gta io_automata nonblocking paxos by kistijantoro on 2005-02-11 12:06:17 as *** along with 5 people and 1 group myui rahul iunadi HenryR ddqseven SRL
  • Verifying Concurrent Data Structures by Simulation
    Electronic Notes in Theoretical Computer Science, Vol. 137, No. 2. (21 July 2005), pp. 93-110.
    by Robert Colvin, Simon Doherty, Lindsay Groves
    posted to concurrency io_automata linearisability lock-free simulation by CLLC on 2006-03-27 11:55:31 as read
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/io_automata

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.