PAMR: A Process Algebra for the Management of Resources in Concurrent Systems.

Manuel Nez, Ismael Rodrguez

Browse the full FORTE paper archive.