A Calculus and logic of resources and processes.
David J. PymChris M. N. ToftsPublished in: Formal Aspects Comput. (2006)
Keyphrases
- computer algebra
- formal language
- resource allocation
- resource management
- natural deduction
- communication channels
- logic programming
- neural network
- relation algebra
- resource constraints
- computational properties
- proof procedure
- computing resources
- proof theoretic
- automated theorem proving
- formal theory
- automated reasoning
- propositional logic
- modal logic
- process model
- information systems