Enumerated type semantics for the calculus of looping sequencesLivio BioglioRAIRO-Theor. Inf. Appl., 45 1 (2011) 35-58DOI: https://doi.org/10.1051/ita/2011010
