Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

97

SFM
2009
Springer

85views Formal Methods» more SFM 2009»

Fundamentals of Session Types

15 years 10 months ago

Fundamentals of Session Types

Download www.sti.uniurb.it

Vasco Thudichum Vasconcelos

Real-time Traffic

SFM 2009 | Software Engineering |

claim paper

Related Content

» How to Infer Finite Session Types in a Calculus of Services and Sessions

» A Calculus of Global Interaction based on Session Types

» Multiparty asynchronous session types

» MultiDevice Seamless Service by UserOriented Session in AllIP Network

» Conversation Types

» Session Types Intersection Types Union Types

» Two Session Typing Systems for HigherOrder Mobile Processes

» Session Types for Access and Information Flow Control

» Multipoint Session Types for a Distributed Calculus

Post Info
More Details (n/a)

Added	27 May 2010
Updated	27 May 2010
Type	Conference
Year	2009
Where	SFM
Authors	Vasco Thudichum Vasconcelos

Comments (0)