Haaksema, Bastiaan (2021) Executable Specifications of Message-based Concurrency in Maude. Bachelor's Thesis, Computing Science.
|
Text
bCS_2021_HaaksemaB.pdf Download (305kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
toestemming.pdf Restricted to Registered users only Download (124kB) |
Abstract
The pi-calculus is a theoretical model of interacting processes, useful to express and reason about message-passing concurrency. It includes formal ways of expressing programs and formal rules for executing their behavior. Executable specifications of process calculi bridge the gap between theory and practice, while their implementations are helpful as tools for reasoning about the trustworthiness of software. By creating an executable specification for pi-calculus with reduction semantics, we discover that its design and implementation are influenced by the pi-calculus syntax and axioms of structural congruence.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Supervisor name: | Perez Parra, J.A. |
| Degree programme: | Computing Science |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 26 Jul 2021 15:35 |
| Last Modified: | 26 Jul 2021 15:35 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/25451 |
Actions (login required)
 |
View Item |