Y. Fu. Reaction graph. Journal of Computer Science and Technology, Science Press, China, 13(6):510-530, 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Solo Diagrams - Laneve, Parrow, Victor (2001) (2 citations) (Correct)
....is interesting to see that the purely graphical parts of both Interaction Diagrams and nets have all the power of our solo diagrams, but Parrow and Milner, respectively, constrain how they may be constructed and thereby avoid constructing the solo diagrams and possibly the calculus of solos. In [5], Fu investigated the communication mechanism of mobile calculi in terms of cut elimination in multiplicative proof nets, and inspired by Interaction Diagrams introduced reaction graphs to this end. This investigation led to the 15 calculus [4] Reaction graphs have some elements in common ....
Y. Fu. Reaction graph. Journal of Computer Science and Technology, Science Press, China, 13(6):510-530, 1998.
Solo Diagrams - Laneve, Parrow, Victor (2001) (2 citations) (Correct)
....is interesting to see that the purely graphical parts of both Interaction Diagrams and nets have all the power of our solo diagrams, but Parrow and Milner, respectively, constrain how they may be constructed and thereby avoid constructing the solo diagrams and possibly the calculus of solos. In [4], Fu investigated the communication mechanism of mobile calculi in terms of cut elimination in multiplicative proof nets, and inspired by Interaction Diagrams introduced reaction graphs to this end. This investigation led to the calculus [3] Reaction graphs have some elements in common with ....
Y. Fu. Reaction graph. Journal of Computer Science and Technology, Science Press, China, 13(6):510-530, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC