jBPT
From MaRDI portal
Software:44881
No author found.
Source code repository: https://github.com/jbpt/codebase/
Related Items (2)
Untanglings: a novel approach to analyzing concurrent systems ⋮ The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
This page was built for software: jBPT
