GitHub repository: snowleopard/concepts
Primary language: Haskell
Created: 2015-06-05T17:15:36Z
Description: Compositional specification of asynchronous circuits using behavioural concepts