Published August 9, 2022
| Version v3
Software
Open
A theory of composing protocols
Authors/Creators
- 1. University of Kent
- 2. University of Cambridge
- 3. University of Glasgow
Description
This is a tool for composing protocols, generating state machines based on
protocol specification, and extracting protocols from existing code.
Files
artifact.zip
Files
(53.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:7482255dfb7dfecda5b3cbb2b0463704
|
53.9 kB | Preview Download |