Published April 15, 2024
| Version 1.1
Software
Open
Artifact for "Complete Multiparty Session Type Projection with Automata"
Description
This is the artifact accompanying the paper "Complete Multiparty Session Type Projection with Automata" (Elaine Li, Felix Stutz, Thomas Wies, and Damien Zufferey) at CAV 2023.
Files
docker-tool-cav.zip
Files
(140.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:174c25dfb3232c50c7cacbb09639d32e
|
140.0 MB | Preview Download |
|
md5:57aad8da4aeca066575cf346363d781f
|
8.9 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Publication: 10.1007/978-3-031-37709-9_17 (DOI)