Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation.

Arshad Beg Andrew Butterfield

Published in: FIT (2010)

Keyphrases

hardware implementation
neural network
artificial intelligence
web services
object oriented
response time
computer systems
efficient implementation
software implementation
dedicated hardware