José-Luis Vivas

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2002

2 José-Luis Vivas, Nobuko Yoshida: Dynamic Channel Screening in the Higher Order pi-Calculus. Electr. Notes Theor. Comput. Sci. 66(3): (2002)

1998

1 José-Luis Vivas, Mads Dam: From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. CONCUR 1998: 115-130

	2002
2		José-Luis Vivas, Nobuko Yoshida: Dynamic Channel Screening in the Higher Order pi-Calculus. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
	1998
1		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

1 Mads Dam [1]

2 Nobuko Yoshida [2]

Colors in the list of coauthors