Fournet, C. and C. Laneve, Bisimulations in the join-calculus, Theoret. Comput. Sci. 266 (2001), pp. 569--603. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Flat Committed Join in Join - Bruni, Melgratti, Montanari (2003) (Correct)
No context found.
Fournet, C. and C. Laneve, Bisimulations in the join-calculus, Theoret. Comput. Sci. 266 (2001), pp. 569--603.
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