146 search results - page 3 / 30 » Linear type theory for asynchronous session types |
96
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
117
click to vote
ECOOP
2010
Springer
15 years 8 months 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...
152
click to vote
FOSSACS
2012
Springer
13 years 11 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...
174
Voted
ESOP
2012
Springer
13 years 11 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...
141
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...