Resource Usage Analysis for the Pi-Calculus

Naoki Kobayashi Kohei Suenaga Lucian Wischik

Published in: CoRR (2006)

Keyphrases

resource usage
multi dimensional
resource allocation
digital libraries