Sort by: Order: Results:

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 ...