Published August 9, 2022
| Version v2
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.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:abeedc42a8a3cbcd09e191e133e19127
|
53.3 kB | Preview Download |