11 search results - page 1 / 3 » Asynchronous Session Types and Progress for Object Oriented ... |
115
click to vote
FMOODS
2007
15 years 22 days 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
15 years 3 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...
123
click to vote
TGC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
POPL
2010
ACM
15 years 8 months ago
2010
ACM
201
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...