Manuel Núñez Ismael Rodríguez PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. 169-184 2001 conf/forte/2001 FORTE db/conf/forte/forte2001.html#NunezR01