Index Catalog // Hyrax

Remover filtros

Filtragem por: Advisor Bohrer, Rose O Criador Friedman, Alex

Regular Session Types

Palavra-chave:

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

O Criador:

Friedman, Alex

Advisor:

Bohrer, Rose

Editor:

Worcester Polytechnic Institute

Data Criada:

2023-11-16

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Communicating with Distributed Process Calculus

Palavra-chave:

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

O Criador:

Friedman, Alex

Advisor:

Telliel, Yunus Dogan and Bohrer, Rose

Editor:

Worcester Polytechnic Institute

Data Criada:

2023-04-25

Resource Type:

Major Qualifying Project