Strong Priority and Determinacy in Timed CCS

Luigi Liquori, Michael Mendler

Building on the standard theory of process algebra with priorities, we identify a new scheduling mechanism, called "constructive reduction" which is designed to capture the essence…