SCCharts
From MaRDI portal
Software:38629
Author name not available (Why is that?)
Related Items (2)
Principled Software Development ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
This page was built for software: SCCharts