protocol (hackage): 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.
Keywords: bsd3|control|distributed-computing|distributed-systems|library|protocol