Coşku Acay
Coşku Acay
Home
Publications
Projects
2
Intersections and Unions of Session Types
We extend the deep logical connection between linear sequent calculus and session-typed concurrency with intersection and union types to express multiple behavioral properties of processes.
Coşku Acay
,
Frank Pfenning
PDF
Cite
Code
Slides
Source Document
DOI
Cite
×