Published August 9, 2022
| Version v1
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
(131.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:8a7dffe128069a23b5c3efecc8e18892
|
131.0 kB | Preview Download |