Index Catalog // Hyrax

Filter löschen

Filtern nach: Stichwort Concurrency Ressourcentyp Major Qualifying Project

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