Skip to content

Releases: chrisbartoloburlo/stmonitor

ECOOP 2021 artifact

15 May 09:44
@chrisbartoloburlo chrisbartoloburlo
v0.0.1
ca24f75
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
ECOOP 2021 artifact Latest
Latest

This is the first stable(-ish) release of stmonitor, as a companion artifact of the paper:

Christian Bartolo Burlò, Adrian Francalanza and Alceste Scalas. "On the Monitorability of Session Types, in Theory and Practice". ECOOP 2021 (to appear).

Assets 2
Loading