C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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