Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

José-Luis Vivas

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2002
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/VivasY02
- ask others
José-Luis Vivas, Nobuko Yoshida: Dynamic Channel Screening in the Higher Order pi-Calculus. Electr. Notes Theor. Comput. Sci. 66(3): 170-184 (2002)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1998
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/VivasD98
- ask others
José-Luis Vivas, Mads Dam: From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. CONCUR 1998: 115-130

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?