Conformance Checking of Communicating Resource Systems with RAs Calculus.

Dariusz Dwornikowski Andrzej Stroinski Jerzy Brzezinski

Published in: SCC (2015)

Keyphrases

databases
building blocks
real time
expert systems
management system
computer systems
resource allocation
data sets
neural network
information retrieval
artificial intelligence
mobile devices
np complete
complex systems
end to end
asynchronous circuits