%0 Journal Article
%A Bioglio, Livio
%T Enumerated type semantics for the calculus of looping sequences
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2011
%P 35-58
%V 45
%N 1
%I EDP-Sciences
%U http://archive.numdam.org/articles/10.1051/ita/2011010/
%R 10.1051/ita/2011010
%G en
%F ITA_2011__45_1_35_0