There is a newer version of the record available.

Published March 8, 2023 | Version 1.2.0+c
Software Open

AlgST

Authors/Creators

  • 1. Anonymous

Description

An implementation of “Parameterized Algebraic Protocols”.

Files

algst-artifact.zip

Files (299.7 kB)

Name Size Download all
md5:688b992dcac832ff53ecad06bab1795a
299.7 kB Preview Download