PAMR: A Process Algebra for the Management of Resources in Concurrent Systems | Publicación