Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
Abstract. In this paper, we propose a personalized display, “AwareMirror: an augmented mirror”. AwareMirror presents information relevant to a person in front of it by super-im...