7121 search results - page 2 / 1425 » Functions as Session-Typed Processes |
108
Voted
CPP
2011
14 years 28 days ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
100
Voted
PADL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
151
click to vote
ESOP
2012
Springer
13 years 8 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
229
Voted
POPL
2008
ACM
16 years 1 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...
99
Voted
ECOOP
2006
Springer
15 years 4 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...