Login / Signup
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency.
Ahmed Bouajjani
Michael Emmi
Constantin Enea
Burcu Kulahcioglu Ozkan
Serdar Tasiran
Published in:
ESOP (2017)
Keyphrases
</>
event driven
information delivery
concurrency control
publish subscribe
object oriented languages
real time
database systems
concurrent programming
model checking
databases
computational efficiency
computer programs