26 search results - page 6 / 6 » State Reduction Using Reversible Rules |
WDAG
2009
Springer
13 years 12 months ago
2009
Springer
The (M, W)-controller, originally studied by Afek, Awerbuch, Plotkin, and Saks, is a basic ted tool that provides an abstraction for managing the consumption of a global resource ...