Index Catalog // Hyrax

Filter löschen

Filtern nach: Stichwort Exponential Types

Regular Session Types

Stichwort:

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

Schöpfer:

Friedman, Alex

Advisor:

Bohrer, Rose

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2023-11-16

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Communicating with Distributed Process Calculus

Stichwort:

Exponential Types, Distributed Computing, Bismuth Programming Language, Process Calculus, Concurrency, and Session Types

Schöpfer:

Friedman, Alex

Advisor:

Telliel, Yunus Dogan and Bohrer, Rose

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2023-04-25

Resource Type:

Major Qualifying Project