Reyes Vargas, Luis David (2020) Message-Passing Concurrency: Links Between Concurrent ML and the pi-calculus. Bachelor's Thesis, Computing Science.
|
Text
bCS_2020_ReyesLD.pdf Download (708kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
Toestemming.pdf Restricted to Registered users only Download (92kB) |
Abstract
Concurrent ML (CML) is a message-passing programming language sharing many similarities with the pi-calculus. Its distinctive feature is the abstract event value, which allows programmers to define synchronization abstractions as first-class citizens. This abstraction brings the modular approach of functional programming into the realm of concurrency. It is a powerful tool to structure communication that could find many uses in the pi-calculus. In this paper, we encode the basic concurrency primitives available in CML into the pi-calculus. We first codify the process of synchronization of events with session types. Then, using this framework, we translate the event-generating primitives. This equips the pi-calculus with the mechanism to generate programs in CML style that we can verify.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Supervisor name: | Perez Parra, J.A. and Renardel de Lavalette, G.R. |
| Degree programme: | Computing Science |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 28 Jul 2020 05:41 |
| Last Modified: | 28 Jul 2020 05:41 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/22885 |
Actions (login required)
 |
View Item |