There is a newer version of the record available.

Published March 8, 2023 | Version 1.2.0
Software Open

AlgST

Authors/Creators

  • 1. Anonymous

Description

An implementation of “Parameterized Algebraic Protocols”.

Files

algst-artifact.zip

Files (300.5 kB)

Name Size Download all
md5:9c58c0accb299fed061968a9d6232767
300.5 kB Preview Download