%0 Journal Article
%T Reaction graph<br>Reaction Graph
%A Fu Yuxi
%A <br>Fu
%A Yuxi
%J 计算机科学技术学报
%D 1998
%I 
%X The paper proposes reaction graphs as graphical representations of computational objects.A reaction graph is a directed graph with all its arrows and some of its nodes labeled. Compu-tations are modeled by graph rewriting of a simple nature. The basic rewriting rules embodythe essence of both the communications among processes and cut-eliminations in proofs. Cal-culi of graphs are identified to give a formal and algebraic account of reaction graphs in thespirit of process algebra. With the help of the calculi, it is demonstrated that reaction graphscapture many interesting aspects of computations.
%K Concurrent computation
%K process algebra
%K computational model<br>并行计算
%K 计算模型
%K 通信
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=0BD724EC006C854F9AEE7C4AA43B53AF&yid=8CAA3A429E3EA654&vid=FC0714F8D2EB605D&iid=B31275AF3241DB2D&sid=25467A5A28500A25&eid=BB98BB04E861B6F5&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=5&reference_num=32