D. Sangiorgi and D. Walker. The -calculus: a Theory of Mobile Processes. Cambridge University Press, 2001. 11 A Logical formulas We begin with the de nition of the formula to capture the set of free names of a process.  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Separability, Expressiveness, and Decidability in the.. - Hirschkoff, Lozes.. (2002) Self-citation (Sangiorgi) (Correct)
No context found.
D. Sangiorgi and D. Walker. The -calculus: a Theory of Mobile Processes. Cambridge University Press, 2001. 11 A Logical formulas We begin with the de nition of the formula to capture the set of free names of a process.
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