Login / Signup

A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems.

Ahmed NazeemSpiridon Reveliotis
Published in: CASE (2010)
Keyphrases