Full Abstraction for Resource Calculus with Tests.

Antonio Bucciarelli Alberto Carraro Thomas Ehrhard Giulio Manzonetto

Published in: CSL (2011)

Keyphrases

multiple choice
resource allocation
resource management
high level
genetic algorithm
web resources
algebraic structure
web services
search algorithm
distributed systems
resource usage
sequent calculus