• DocumentCode
    2107991
  • Title

    Table of contents

  • fYear
    2013
  • fDate
    Sept. 30 2013-Oct. 3 2013
  • Abstract
    The following topics are dealt with: reliable distributed systems; network reliability and integrity; uncertainty handling; replication; detection and diagnosis; formal models; transactions and consistency; and security.
  • Keywords
    data integrity; distributed processing; formal specification; security of data; telecommunication network reliability; transaction processing; uncertainty handling; consistency; detection; diagnosis; formal models; network integrity; network reliability; reliable distributed systems; replication; security; transactions; uncertainty handling;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Reliable Distributed Systems (SRDS), 2013 IEEE 32nd International Symposium on
  • Conference_Location
    Braga
  • Type

    conf

  • DOI
    10.1109/SRDS.2013.4
  • Filename
    6656251