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