There is a newer version of the record available.

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

AlgST

Authors/Creators

  • 1. Anonymous

Description

An implementation of “Parameterized Algebraic Protocols”.

Files

algst-artifact.zip

Files (298.2 kB)

Name Size Download all
md5:6ca4e0880c602767aed69adbdb7762bb
298.2 kB Preview Download