Viptos

swMATH9423MaRDI QIDQ21406FDOQ21406

Author name not available (Why is that?)

Cited In (4)

• Compositional schedulability analysis of real-time actor-based systems
• Symmetry and partial order reduction techniques in model checking Rebeca
• Decidability Problems for Actor Systems
• Comparing three coordination models: Reo, ARC, and PBRD

This page was built for software: Viptos