Search Sciweavers | Sciweavers

19

CONCUR
2004
Springer

134views Distributed And Parallel Com...» more CONCUR 2004»

Session Types for Functional Multithreading

14 years 1 months ago

We deﬁne a language whose type system, incorporating session types, allows complex protocols to be speciﬁed by types and veriﬁed by static typechecking. A session type, asso...

Vasco Thudichum Vasconcelos, António Ravara...

claim paper

Read More »

73

click to vote

POPL
2008
ACM

182views Programming Languages» more POPL 2008»

Multiparty asynchronous session types

14 years 8 months ago

Download wwwhomes.doc.ic.ac.uk

Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...

Kohei Honda, Nobuko Yoshida, Marco Carbone

claim paper

Read More »

27

click to vote

CPP
2011

99views more CPP 2011»

Proof-Carrying Code in a Session-Typed Process Calculus

12 years 7 months ago

Download www.cs.cmu.edu

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...

Frank Pfenning, Luís Caires, Bernardo Tonin...

claim paper

Read More »

24

click to vote

COORDINATION
2008
Springer

99views Distributed And Parallel Com...» more COORDINATION 2008»

Session Types for Orchestration Charts

13 years 9 months ago

Download www.infres.enst.fr

We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing l...

Alessandro Fantechi, Elie Najm

claim paper

Read More »

22

click to vote

POPL
2010
ACM

186views Programming Languages» more POPL 2010»

Modular Session Types for Distributed Object-Oriented Programming

14 years 5 months ago