Indexed on: 01 Nov '98Published on: 01 Nov '98Published in: Journal of Computer Science and Technology
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 modeled 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 identified 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.