Confluence Analysis for Distributed Programs: A Model-Theoretic Approach
作者：William R. Marczak,Peter Alvaro, Neil Conway, Joseph M. Hellerstein,David Maier 作者单位：University of California, Berkeley;Portland State University 加工时间：2013-11-15 信息来源：EECS 索取原文[20 页]
关键词：分步式逻辑程序；模型理论；异步分布；PTIME 摘 要：Building on recent interest in distributed logic programming, we take a model-theoretic approach to analyzing confluence of asynchronous distributed programs.We introduce DedalusS , a restriction of Dedalus that allows a kind of stratified negation, but retains the confluence of Dedalus+ and similarly captures PTIME.
索取原文[20 页]
027-87841330