G. CIOBANU, D. RUSU
Synchronizing the Shared Resources

Abstract. We define an operation over the sets of resources assigned to some concurrent processes, and express the synchronization feature of the resources by specific axioms. We define an algebra called “synchronizing resource algebra”, and present some of its properties. We define some supermetrics over this algebra. The relationship between supermetrics and additive functions is described, as well as some results related to the complete synchronizing resource algebras and their completions. Finally we discuss about stable resources of a process in this context.

READ THE PDF