Quartz
From MaRDI portal
Cited in
(13)- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Polychrony
- Towards a modeling language for cyber-physical systems
- From synchronous programs to symbolic representations of hybrid systems
- Esterel
- Zelus
- Constructive polychronous systems
- Formal Reasoning About Causality Analysis
- SCCharts
- HOL-UNITY
- scientific article; zbMATH DE number 1927430 (Why is no real title available?)
- Grounding synchronous deterministic concurrency in sequential programming
- A type-based analysis of causality loops in hybrid systems modelers
This page was built for software: Quartz
