Skip to Content
Toggle navigation
Accueil
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
S'identifier
Explore, Discover, Share
Aller
Advanced search
Recherche
Effacer les filtres
Filtrage par:
Créateur
Friedman, Alex
Supprimer la restriction Créateur: Friedman, Alex
1
-
3
sur
3
Trier par relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Nombre de résultats à afficher par page
10 par page
10
par page
20
par page
50
par page
100
par page
Affichage:
Liste
Galerie
Mosaïque
Diaporama
Résultats de recherche
Regular Session Types
Mot-clé:
Exponential Types
,
Regular Languages
,
RST
,
Session Types
, and
Program Synthesis
Créateur:
Friedman, Alex
Advisor:
Bohrer, Rose
Éditeur:
Worcester Polytechnic Institute
date créée:
2023-11-16
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Communicating with Distributed Process Calculus
Mot-clé:
Exponential Types
,
Distributed Computing
,
Bismuth Programming Language
,
Process Calculus
,
Concurrency
, and
Session Types
Créateur:
Friedman, Alex
Advisor:
Telliel, Yunus Dogan
and
Bohrer, Rose
Éditeur:
Worcester Polytechnic Institute
date créée:
2023-04-25
Resource Type:
Major Qualifying Project
Strengthening AmCham's Relationship with Romanian Startups
Mot-clé:
Entrepreneurship
,
Startups
,
Innovation
, and
Community
Créateur:
Friedman, Alex
,
Taylor, Alexandra
,
Veguilla, Rory
, and
Chan, Rachel
Advisor:
Kinicki, Robert
and
Danielski, Althea Marie
Éditeur:
Worcester Polytechnic Institute
date créée:
2022-05-04
Resource Type:
Interactive Qualifying Project
Toggle facets
Limiter votre recherche
Collections
Interactive Qualifying Projects
1
Major Qualifying Projects
1
Masters Theses
1
Year
Year range begin
–
Year range end
Current results range from
2022
to
2023
View distribution
Créateur
Chan, Rachel
1
Friedman, Alex
[remove]
3
Taylor, Alexandra
1
Veguilla, Rory
1
Advisor
Bohrer, Rose
2
Danielski, Althea Marie
1
Kinicki, Robert
1
Telliel, Yunus Dogan
1
Contributor
Bohrer, Rose
1
Heineman, George
1
Project Center
Bucharest, Romania Project Center - IQP
1
Major
Computer Science
1
Unit (Department)
Computer Science
1
Éditeur
Worcester Polytechnic Institute
3
Assujettir
Community
1
Industry
1
Innovation
1
UN SDG
8 - Decent Work and Economic Growth
1
9 - Industry, Innovation and Infrastructure
1
Type de ressource
Interactive Qualifying Project
1
Major Qualifying Project
1
Thesis
1