Description

Implementation of “Parameterized Algebraic Protocols”

Instructions

General Installation

Software Dependencies:

Please refer to README.md included in the artifact.

Experimental Installation

Installation:

Please refer to README.md included in the artifact.

Provenance

AlgST is developed by Janek Spaderna and Peter Thiemann at https://github.com/proglang/AlgST. Version 1.0.0 was developed by Janek Spaderna at https://github.com/JaSpa/AlgST. The current version, 2.0.0, is published at https://zenodo.org/record/7804667.

The work on AlgST is aligned with FCT project SafeSessions ref. PTDC/CCI-COM/6453/2020.

The included benchmarks make use of FreeST.

License