253 search results - page 1 / 51 » Session Types at the Mirror |
CORR
2009
Springer
13 years 3 months ago
2009
Springer
CORR
2010
Springer
13 years 3 months ago
2010
Springer
COORDINATION
2008
Springer
13 years 7 months ago
2008
Springer
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...
TLCA
2007
Springer
13 years 11 months ago
2007
Springer
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...
PERVASIVE
2005
Springer
13 years 11 months ago
2005
Springer
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...