Login / Signup
Verifiable Concurrent Programming Using Concurrency Controllers.
Aysu Betin-Can
Tevfik Bultan
Published in:
ASE (2004)
Keyphrases
</>
data streams
concurrent programming
programming language
concurrent programs
control system
reinforcement learning
high level
sufficient conditions
databases
management system
object oriented
database management systems