Login / Signup
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