Index Catalog // Hyrax

Borrar filtros

Filtrado por: Palabra clave Session Types

1. Regular Session Types

Palabra clave:: Exponential Types, Regular Languages, RST, Session Types, and Program Synthesis
Creador:: Friedman, Alex
Advisor:: Bohrer, Rose
Editor:: Worcester Polytechnic Institute
Fecha de Creacion:: 2023-11-16
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

2. Communicating with Distributed Process Calculus

Palabra clave:: Exponential Types, Distributed Computing, Bismuth Programming Language, Process Calculus, Concurrency, and Session Types
Creador:: Friedman, Alex
Advisor:: Telliel, Yunus Dogan and Bohrer, Rose
Editor:: Worcester Polytechnic Institute
Fecha de Creacion:: 2023-04-25
Resource Type:: Major Qualifying Project