3815 search results - page 5 / 763 » An Implementation of Session Types |
FMOODS
2007
13 years 9 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
ECOOP
2010
Springer
14 years 17 days ago
2010
Springer
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Session guarantees are used to manage replica consistency of a distributed system from the client perspective. This paper defines formally the guarantees, presents and proves safe...
LCN
2003
IEEE
14 years 1 months ago
2003
IEEE
In this contribution we present a new type of mobility management for IP-based networks that, contrary to conventional approaches, does not focus on the network layer, but on the ...