liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formalising Reconciliation in Partitionable Networks with Distributed Services
Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory.ORCID iD: 0000-0003-1916-3398
Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory.
2006 (English)In: Rigorous Development of Complex Fault-Tolerant Systems / [ed] Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna, Heidelberg: Springer Verlag , 2006, 37-58 p.Chapter in book (Other academic)
Abstract [en]

This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.

Place, publisher, year, edition, pages
Heidelberg: Springer Verlag , 2006. 37-58 p.
Series
Lecture notes in computer science, 4157
Keyword [en]
partition, reconciliation, consistency, availability
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-34781Local ID: 23213ISBN: 35-4048-265-2 (print)ISBN: 978-35-4048-265-9 (print)OAI: oai:DiVA.org:liu-34781DiVA: diva2:255629
Available from: 2009-10-10 Created: 2009-10-10 Last updated: 2015-03-02Bibliographically approved

Open Access in DiVA

No full text

Other links

find book at a swedish library/hitta boken i ett svenskt bibliotekfind book in another country/hitta boken i ett annat land

Authority records BETA

Asplund, MikaelNadjm-Tehrani, Simin

Search in DiVA

By author/editor
Asplund, MikaelNadjm-Tehrani, Simin
By organisation
The Institute of TechnologyRTSLAB - Real-Time Systems Laboratory
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 82 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf