R. Milner. Pi-nets: A graphical form of -calculus. In D. Sannella, editor, Proc. of ESOP '94, volume 788 of LNCS, pages 26-42. Springer, 1994. 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)
....method similar to that of [10] increasing the polyadicity to express causal dependency. Parrow s replication box is considered as a regeneration mechanism that can generate an unbounded number of copies of itself. In this respect, it is a straight implementation of the law P P j P . nets [14] were introduced by Milner as a graphical form of the action calculus PIC, where the calculus can be encoded. nets are also very similar to our solo diagrams, except for the treatment of boxes replication, where an additional link arrow is introduced, and for pre xing, which uses a box ....
R. Milner. Pi-nets: A graphical form of -calculus. In D. Sannella, editor, Proc. of ESOP '94, volume 788 of LNCS, pages 26-42. Springer, 1994.
Solo Diagrams - Laneve, Parrow, Victor (2001) (2 citations) (Correct)
....method similar to that of [9] increasing the polyadicity to express causal dependency. Parrow s replication box is considered as a regeneration mechanism that can generate an unbounded number of copies of itself. In this respect, it is a straight implementation of the law P P j P . nets [12] were introduced by Milner as a graphical form of the action calculus PIC, where the calculus can be encoded. nets are also very similar to 17 our solo diagrams, except for the treatment of boxes replication, where an additional link arrow is introduced, and for pre xing, which uses a box ....
R. Milner. Pi-nets: A graphical form of -calculus. In D. Sannella, editor, Proceedings of ESOP '94, volume 788 of LNCS, pages 26-42. Springer, 1994.
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