scholar.google.com › citations
Towards a Proof Framework for Information Systems with Weak Consistency. Conference paper; First Online: 23 June 2016. pp 277–283; Cite this conference paper.
Weakly consistent data stores are more scalable and can provide a higher availability than classical, strongly consistent data stores.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...
Towards a proof framework for information systems with weak consistency. P Zeller, A Poetzsch-Heffter. Software Engineering and Formal Methods: 14th ...
Towards a proof framework for information systems with weak consistency. P Zeller, A Poetzsch-Heffter. Software Engineering and Formal Methods: 14th ...
Towards a Proof Framework for Information Systems with Weak Consistency. (Peter Zeller and Arnd Poetzsch-Heffter). Menu. SEFM 2016 · Program · Keynotes ...
Towards a Proof Framework for Information Systems with Weak Consistency · Peter ZellerA. Poetzsch-Heffter. Computer Science. SEFM. 2016. TLDR. This paper ...
Towards a Proof Framework for Information Systems with Weak Consistency ... In: 5th Princeton Symposium on Information Sciences and Systems, pp. 437–443 ...
2021/10/01 · As a result, we have developed a programming and verification framework for applications that use highly available databases with weak ...
Digital Library · Google Scholar. [28]. P. Zeller and A. Poetzsch-He ter. Towards a proof framework for information systems with weak consistency. In SEFM, 2016 ...