26 search results - page 3 / 6 » Multiparty asynchronous session types |
116
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
143
Voted
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
TGC
2007
Springer
15 years 8 months ago
2007
Springer
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a...
113
Voted
COORDINATION
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
106
click to vote
ECOOP
2010
Springer
15 years 7 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...