Back to Results
First PageMeta Content
Applied mathematics / Theoretical computer science / Data types / Polymorphism / Lambda calculus / Π-calculus / Type system / Subtype polymorphism / System F / Mathematics / Type theory / Software engineering


Session Types Revisited Ornela Dardha Elena Giachino Davide Sangiorgi
Add to Reading List

Document Date: 2013-12-29 19:43:45

Open Document

File Size: 597,50 KB

Share Result on Facebook

City

Leuven / /

Company

Kobayashi / Case / Honda / /

Country

Belgium / /

Currency

pence / USD / /

/

Facility

University of Bologna / /

IndustryTerm

higher-order communications / abstract devices / session types suitable to model protocols / distributed systems / structured communications / Web Services / /

Organization

University of Bologna / /

Person

Elena Giachino Davide Sangiorgi / /

Position

general channel type / Type structure General / /

Technology

simulation / specified protocol / logical unit / model protocols / /

SocialTag