Published January 15, 2019
| Version v1
Software
Open
Distributed Protocol Combinators
- 1. Aarhus University
- 2. Yale-NUS College & NUS School of Computing
Description
This repository contains a framework for experimenting with fine-grained concurrent, distributed programming languages and mechanisms for specifying programs.
The development is detailed in the accompanied publication at PADL19, "Distributed Protocol Combinators".
Files
dpc.zip
Files
(4.7 MB)
Name | Size | Download all |
---|---|---|
md5:af437d0d557515d87d0deeb98d058061
|
4.7 MB | Preview Download |