Search Sciweavers | Sciweavers

703 search results - page 8 / 141

» Fundamentals of Session Types

click to vote

TGC
2005
Springer

175views Applied Computing» more TGC 2005»

A Distributed Object-Oriented Language with Session Types

14 years 1 months ago

Download slurp.doc.ic.ac.uk

Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...

Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

173views Software Engineering» more FOSSACS 2010»

Parameterised Multiparty Session Types

14 years 2 months ago

Download www.doc.ic.ac.uk

For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...

Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...

claim paper

Read More »

click to vote

FOSSACS
2012
Springer

262views Software Engineering» more FOSSACS 2012»

Functions as Session-Typed Processes

12 years 3 months ago

Download www.cs.cmu.edu

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

Bernardo Toninho, Luís Caires, Frank Pfenni...

claim paper

Read More »

click to vote

CONCUR
2010
Springer

162views Distributed And Parallel Com...» more CONCUR 2010»

Session Types as Intuitionistic Linear Propositions

13 years 8 months ago

Download www.cs.cmu.edu

Luís Caires, Frank Pfenning

claim paper

Read More »