notesum.ai
Published at December 6Responsibility in Actor-Based Systems
cs.FL
Released Date: December 6, 2024
Authors: Christel Baier1, Sascha Klüppelholz1, Johannes Lehmann1
Aff.: 1Technische Universität Dresden
| Name | Scheduler module | Synchronous actions | Modules |
| alternating_bit | 0.50 | 0.00 | 0.50 |
| brp | 0.00 | 1.00 | 0.00 |
| dining_philosophers_a | 1.00 | 0.00 | 0.00 |
| dining_philosophers_b | 0.50 | 0.00 | 0.50 |
| 3_generals_a | 1.00 | 0.00 | 0.00 |
| 3_generals_b | 0.08 | 0.00 | 0.92 |