Algebra and logic for resource-based systems modelling.

Matthew Collinson David J. Pym

Published in: Math. Struct. Comput. Sci. (2009)

Keyphrases

digital circuits
learning systems
management system
neural network
resource requirements
distributed systems
resource allocation
algebraic expressions
data sets
set theory
multi valued
finite state machines
mathematical models
complex systems
computer systems
digital libraries
search engine