Slide - Computer Science - Duke University

P. p can send to q iff Sp Í Sq. Slide by Max Krohn. Flume Communication Rule. q changes to Sq = { Alice }; p sends to q; q changes back to Sq= {}. MoinMoin (r).
展开查看详情