Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Bohrer, Rose Creator Friedman, Alex

Regular Session Types

Keyword:

Exponential Types, Regular Languages, RST, Session Types, and Program Synthesis

Creator:

Friedman, Alex

Advisor:

Bohrer, Rose

Publisher:

Worcester Polytechnic Institute

Date Created:

2023-11-16

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science