Sciweavers

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

75

CORR
2009
Springer

54views Education» more CORR 2009»

Session Types at the Mirror

15 years 20 days ago

Session Types at the Mirror

Download www.di.unito.it

Luca Padovani

Real-time Traffic

CORR 2009 | Education |

claim paper

Related Content

» Session Types Intersection Types Union Types

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

» Two Session Typing Systems for HigherOrder Mobile Processes

» AwareMirror A Personalized Display Using a Mirror

» An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum D...

» Propositions as sessions

» Session Types for Access and Information Flow Control

» Multipoint Session Types for a Distributed Calculus

» Linear type theory for asynchronous session types

Post Info
More Details (n/a)

Added	17 Feb 2011
Updated	17 Feb 2011
Type	Journal
Year	2009
Where	CORR
Authors	Luca Padovani

Comments (0)