Logic Meets Algebra - Compositional Timing Analysis for Synchronous Reactive Multithreading. | 0 | 0.34 | 2018 |
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. | 0 | 0.34 | 2018 |
Compositional timing-aware semantics for synchronous programming | 1 | 0.37 | 2017 |
A Multi-objective Hospital Operating Room Planning and Scheduling Problem Using Compromise Programming. | 0 | 0.34 | 2016 |
Sequential Constructiveness, SCCharts for Safety-Critical Applications. | 0 | 0.34 | 2015 |
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency | 3 | 0.41 | 2015 |
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts | 10 | 0.54 | 2014 |
Grounding Synchronous Deterministic Concurrency in Sequential Programming. | 7 | 0.46 | 2014 |
Constructive semantics for instantaneous reactions | 4 | 0.39 | 2005 |
A--maze--ing Esterel | 3 | 0.37 | 2004 |
P Systems with replicated rewriting and stream X-machines (Eilenberg machines) | 13 | 0.75 | 2002 |