SCCharts

swMATH26907MaRDI QIDQ38629FDOQ38629

Author name not available (Why is that?)

Cited In (2)

• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• Principled Software Development

This page was built for software: SCCharts