EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper).
arXiv: Logic in Computer Science(2017)
摘要
The high availability and scalability of weakly-consistent system attracts system designers. Yet, writing correct application code for this type of systems is difficult; even how to specify the intended behavior of such systems is still an open question. There has not been established any standard method to specify the intended dynamic behavior of a weakly consistent system.
更多查看译文
关键词
temporal logic,weakly consistent systems,eptl
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要