Now showing items 1-1 of 1

    • A calculus for costed computations 

      HENNESSY, MATTHEW (2011)
      We develop a version of the picalculus Picost where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of owners; they must pay to use resources, but ...