15 citations · 16 across the 4 of their papers we have counts for
1 paper · 2 filters
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…