PAMR: A Process Algebra for the Management of Resources in Concurrent Systems
Manuel A. Nunez, Ismael Rodrı́guez · Kluwer Academic Publishers eBooks · 2006
In this paper we present a process algebra for the management of resources in concurrent systems. Our aim is to define a formal framework that can help in the task of specifying systems that depend, for their execution, on a set of resources that they use. Usually systems consist in a set of processes. In order to improve their performance, these processes will be able to exchange resources among them. In our language, processes will consist in a behavior (formalized as a LOTOS process) and in information about the resources that they own. Systems will be defined as the parallel composition of a set of processes. We will study some examples applying the features of PAMR . These examples will try to show the usefulness of our language for specifying and analyzing concurrent systems where resources play an important role.