Synchronous distributed algorithms : a proof system /

類似資料

• Order notions and atomic multicast in distributed systems : a short survey /
  著者:: Raynal, Michel., 等
  出版事項: (1990.)
• Analysis of a distributed algorithm for mutual exclusion.
  著者:: Lavault, Christian, 等
  出版事項: (1990.)
• Simple distributed solutions to the readers-writers problem.
  著者:: Raynal, Michel, 等
  出版事項: (1990.)
• Simple taxonomy for distributed mutual exclusion algorithms.
  著者:: Raynal, Michel, 等
  出版事項: (1991.)
• Implementation and evaluation of distributed synchronization on a distributed memory parallel machine /
  著者:: Couvert, André., 等
  出版事項: (1990.)