swMATH9891MaRDI QIDQ21870FDOQ21870
Author name not available (Why is that?)
Official website: http://es.cs.uni-kl.de/publications/datarsg/Schn09.pdf
Cited In (13)
- Constructive polychronous systems
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Towards a modeling language for cyber-physical systems
- A type-based analysis of causality loops in hybrid systems modelers
- Formal Reasoning About Causality Analysis
- Polychrony
- Esterel
- Zelus
- SCCharts
- HOL-UNITY
- From synchronous programs to symbolic representations of hybrid systems
- Grounding synchronous deterministic concurrency in sequential programming
- Title not available (Why is that?)
This page was built for software: Quartz
