Skip to content

ECOOP 2021 artifact

Latest
Latest
Compare
Choose a tag to compare
@chrisbartoloburlo chrisbartoloburlo released this 15 May 09:44
· 10 commits to master since this release
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.

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