ENTCS
2010
13 years 7 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
COORDINATION
2010
Springer
13 years 10 months 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...
JCS
2008
14 years 12 days ago
2008
Compiler for Session Abstractions Ricardo Corin1,2,3, Pierre-Malo Deni
FMOODS
2007
14 years 1 months 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
2008
Springer
14 years 2 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
CONCUR
2009
Springer
14 years 7 months ago
2009
Springer
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...