hackage.haskell.org : protocol
This package provides type to model distributed multi-party protocols, ensuring the continuity of the associated resource state transitions on the type level for all protocol commands and scenarios.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/protocol
Keywords:
bsd3
, control
, distributed-computing
, distributed-systems
, library
, protocol
, Propose Tags
License: BSD-3-Clause
Latest release: about 5 years ago
First release: about 5 years ago
Downloads: 382 total
Stars: 1 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/epoberezkin
Last synced: 20 days ago