Typing the Use of Resources in a Concurrent Calculus (Extended Abstract).

Published in: ASIAN (1997)

Keyphrases

extended abstract
limited resources
resource allocation
resource management
real world
metadata
case study
search algorithm
query language
expressive power
information resources
automated deduction