Quartz
From MaRDI portal
Software:21870
swMATH9891MaRDI QIDQ21870FDOQ21870
Author name not available (Why is that?)
Cited In (8)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Constructive Polychronous Systems
- A type-based analysis of causality loops in hybrid systems modelers
- Formal Reasoning About Causality Analysis
- Grounding Synchronous Deterministic Concurrency in Sequential Programming
- From synchronous programs to symbolic representations of hybrid systems
- Towards a Modeling Language for Cyber-Physical Systems
- Title not available (Why is that?)
This page was built for software: Quartz
