Items where Author is "Varacca, Daniele"
Number of items: 2. Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic subtyping for the pi-calculus. Theoretical Computer Science, 398 (1-3). pp. 217-242. ISSN 0304-3975 (2008) Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic Subtyping for the p-Calculus. In: Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on. IEEE Computer Society, pp. 92-101. ISBN 0-7695-2266-1 (2005) |