| Reaction Graph |
| |
| 作者姓名： | Fu Yuxi |
| |
| 作者单位： | DepartmentofComputerScience,ShanghaiJiaoTongUniversity,Shanghai200030,P,R.China |
| |
| 摘 要： | 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.Computations are modled by graph rewriting of a simple nature.The basic rewriting rules embody the essence of both the communications among processes and cut-eliminations in proofs.Calculi of graphs are ideentified to give a formal and algebraic account of reaction graphs in the spirit of process algebra.With the help of the calculi,it is demonstrated that reaction graphs capture many interesting aspects of computations.
|
| 关 键 词： | 并行计算 计算模型 通信 |
Reaction graph |
| |
| Fu Yuxi.Reaction Graph[J].Journal of Computer Science and Technology,1998,13(6):510-530. |
| |
| Authors: | Yuxi Fu |
| |
| Affiliation: | (1) Department of Computer Science, Shanghai Jiao Tong University, 200030 Shanghai, P.R. China |
| |
| Abstract: | 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. |
| |
| Keywords: | Concurrent computation process algebra computational model |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
