Published January 15, 2019
| Version v2
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
(43.4 kB)
Name | Size | Download all |
---|---|---|
md5:6d272a316417204f51ff0818f4e724f7
|
43.4 kB | Preview Download |