VERSA

swMATH21393MaRDI QIDQ33200FDOQ33200

Author name not available (Why is that?)

Cited In (2)

• A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
• A process algebra of communicating shared resources with dense time and priorities

This page was built for software: VERSA