Formalising Reconciliation in Partitionable Networks with Distributed Services
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)
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.
, Lecture notes in computer science, 4157
partition, reconciliation, consistency, availability
IdentifiersURN: urn:nbn:se:liu:diva-34781Local ID: 23213ISBN: 35-4048-265-2ISBN: 978-35-4048-265-9OAI: oai:DiVA.org:liu-34781DiVA: diva2:255629