摘要
Thepaperproposesreactiongraphsasgraphicalrepresentationsofcomputationalobjects.Areactiongraphisadirectedgraphwithallitsarrowsandsomeofitsnodeslabeled.Computationsaremodledbygraphrewritingofasimplenature.Thebasicrewritingrulesembodytheessenceofboththecommunicationsamongprocessesandcut-eliminationsinproofs.Calculiofgraphsareideentifiedtogiveaformalandalgebraicaccountofreactiongraphsinthespiritofprocessalgebra.Withthehelpofthecalculi,itisdemonstratedthatreactiongraphscapturemanyinterestingaspectsofcomputations.
出版日期
1998年06月16日（中国期刊网平台首次上网日期，不代表论文的发表时间）
