GitHub repository: pointnity/Formal-concurrency
Primary language: Haskell
Created: 2019-04-05T13:36:08Z
Description: A form-based concurrent language provides optimal security performance in a decentralized system