Verifying strong eventual consistency in distributed systems
- 期刊名称Proceedings of the ACM on Programming Languages
- 作者Gomes, Victor B. F.; Kleppmann, Martin; Mulligan, Dominic P.; Beresford, Alastair R.
- 卷第1卷
- 电子ISSN2475-1421
- 文件大小372.25KB
- 发表时间2017-10-12
- DOI10.1145/3133933
- 页码1-28
Synthesis and Characterization of (CeO[sub 2])[sub 0.8](SmO[sub 1.5])[sub 0.2] Thin Films from Polymeric PrecursorsChen, C. C. · Journal of The Electrochemical Society · 1993
Synthesis of CeO[sub 2], ZrO[sub 2] Nanocrystals, and Core-Shell-Type NanocompositesOmata, Takahisa; Sasai, Shigeru; Goto, Yuji; Ueda, Masato; Otsuka-Yao-Matsuo, Shinya · Journal of The Electrochemical Society · 2006
Synthesis and properties of Sr[sub 2]CeO[sub 4] blue emission powder phosphor for field emission displaysJiang, Yong Dong; Zhang, Fuli; Summers, Christopher J.; Wang, Zhong Lin · Applied Physics Letters · 1999
Synthesis of CeO/sub 2/ films by ion beam assisted depositionI. Shimizu; M. Kumagai; H. Saito; Y. Setsuhara; Y. Makino; S. Miyake · 1998
Room-temperature homogeneous nucleation synthesis and thermal stability of nanometer single crystal CeO[sub 2]Zhou, X.-D.; Huebner, W.; Anderson, H. U. · Applied Physics Letters · 2002
Effect of Synthesis Conditions on the Performance of Cu-CeO[sub 2]-YSZ Anodes in SOFCsHe, Hongpeng; Vohs, John M.; Gorte, Raymond J. · Journal of The Electrochemical Society · 2003
AIP Conference Proceedings [AIP INTERNATIONAL CONFERENCE ON FUNDAMENTAL AND APPLIED SCIENCES 2012: (ICFAS2012) - Kuala Lumpur Convention Centre, Kuala Lumpur, Malaysia (12–14 June 2012)] - Synthesis and characterization of molybdenum catalysts supported on γ-Al[sub 2]O[sub 3]-CeO[sub 2] composite oxidesFarooq, Muhammad; Ramli, Anita; Subbarao, Duvvuri · 2012
[IEEE The 31st IEEE International Conference on Plasma Science, 2004. ICOPS 2004. IEEE Conference Record - Abstracts. - Baltimore, MD, USA (June 28-July 1, 2004)] The 31st IEEE International Conference on Plasma Science, 2004. ICOPS 2004. IEEE Conference Record - Abstracts. - RF-induction plasma synthesis of CeO/sub 2/-based fine powders for SOFC electrolytesCastillo, I.; Munz, R.J. · 2004
Editorial BoardNano-Structures & Nano-Objects · 2015
Editorial BoardNano-Structures & Nano-Objects · 2016
Editorial BoardNano-Structures & Nano-Objects · 2015
Editorial BoardNano-Structures & Nano-Objects · 2015
Editorial BoardNano-Structures & Nano-Objects · 2015
Editorial BoardNano-Structures & Nano-Objects · 2016
Editorial BoardNano-Structures & Nano-Objects · 2016
Editorial BoardNano-Structures & Nano-Objects · 2016