Degrees of delay: Semantic theories for priority, efficiency, fairness and predictability in process algebras.

摘要

This dissertation presents algebraic-verification frameworks apposite for reasoning about various qualitative-timing characteristics of distributed systems. Using these frameworks fault-tolerant systems and systems in which certain actions take precedence over other actions can be accurately modeled and analyzed. Moreover, implementations can be appraised on the basis of their efficiency and in the case of real-time specifications, more appropriately on the basis of their predictability.