RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Subscriber Authentication Point

EDPS Account

Search

Parameterizing higher-order processes on names and processes

Xian Xu

RAIRO-Theor. Inf. Appl., 53 3-4 (2019) 153-206

Published online: 10 January 2020

DOI: 10.1051/ita/2019005

This search tool will display articles in our database by authors of the selected article:

Select your author(s):

Xian Xu

Search method:

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)