Analyzing Strong Priority and Determinacy in Timed CCS by Luigi Liquori and Michael Mendler
The authors introduce a new scheduling mechanism, constructively reducing determinism for multi-cast concurrent communication in Timed CCS. They combine clocks and priorities to reconcile non-determinism with functional reactions.