Architectural Models of Ambient-PRISMA in Channel Ambient Calculus

Nour Ali, Emilio Tuosto. Architectural Models of Ambient-PRISMA in Channel Ambient Calculus. In James L. Rash, Christopher Rouff, editors, 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011. pages 1-10, IEEE Computer Society, 2011. [doi]

Abstract

Abstract is missing.