José-Luis Vivas

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

José-Luis Vivas, Nobuko Yoshida
Dynamic Channel Screening in the Higher Order pi-Calculus. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)
José-Luis Vivas, Mads Dam
From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. CONCUR (1998)