| |
| 2002 | ||
|---|---|---|
| 2 | EE | José-Luis Vivas, Nobuko Yoshida: Dynamic Channel Screening in the Higher Order pi-Calculus. Electr. Notes Theor. Comput. Sci. 66(3): (2002) |
| 1998 | ||
| 1 | EE | José-Luis Vivas, Mads Dam: From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. CONCUR 1998: 115-130 |
| 1 | Mads Dam | [1] |
| 2 | Nobuko Yoshida | [2] |