441 search results - page 4 / 89 » Session Types = Intersection Types Union Types |
137
click to vote
JFP
2010
15 years 24 days ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
102
click to vote
FUIN
2006
15 years 2 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
91
Voted
CORR
2009
Springer
15 years 4 days ago
2009
Springer
160
click to vote
ESOP
2012
Springer
13 years 10 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...
139
click to vote
FOSSACS
2012
Springer
13 years 10 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...