C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On Verifying TSO Robustness for Event-Driven Asynchronous Programs.
Ahmed Bouajjani
Constantin Enea
Madhavan Mukund
Rajarshi Roy
Published in:
NETYS (2018)
Keyphrases
</>
event driven
information delivery
real time
publish subscribe
event streams
markup language
automatic programming