RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Subscriber Authentication Point

EDPS Account

Search

Enumerated type semantics for the calculus of looping sequences

Livio Bioglio

RAIRO-Theor. Inf. Appl., 45 1 (2011) 35-58

Published online: 15 March 2011

DOI: 10.1051/ita/2011010

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

Select your author(s):

Livio Bioglio

Search method:

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)