Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Telliel, Yunus Dogan Keyword Process Calculus

Communicating with Distributed Process Calculus

Keyword:

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

Creator:

Friedman, Alex

Advisor:

Telliel, Yunus Dogan and Bohrer, Rose

Publisher:

Worcester Polytechnic Institute

Date Created:

2023-04-25

Resource Type:

Major Qualifying Project