There is a newer version of the record available.

Published March 8, 2023 | Version 1.2.0+d
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:2c5aa1cdf7cf141c2df3e6f13bf31261
299.7 kB Preview Download