There is a newer version of the record available.

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