33 search results - page 2 / 7 » Two Session Typing Systems for Higher-Order Mobile Processes |
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
AIED
2005
Springer
13 years 10 months ago
2005
Springer
This paper describes and contrasts findings from two related projects where groups of science pupils investigated local air pollution using a collection of mobile sensors and devic...
WWW
2007
ACM
14 years 5 months ago
2007
ACM
It is extremely hard for a global organization with services over multiple channels to capture a consistent and unified view of its data, services, and interactions. While SOA and...
PKC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. Perfect forward secrecy, one of the possible security features provided by key establishment protocols, concerns dependency of a session key upon long-term secret keys (s...
ENTCS
2006
13 years 5 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...