Login / Signup
On Implementation of Global Concurrent Systems with Local Asynchronous Controllers.
Blaise Genest
Published in:
CONCUR (2005)
Keyphrases
</>
concurrent systems
asynchronous communication
temporal logic
process algebra
real time
artificial intelligence
reinforcement learning
control system
distributed systems
model checking
efficient implementation
formal specification
high level synthesis