Login / Signup
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)