• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

On Verifying TSO Robustness for Event-Driven Asynchronous Programs.

Ahmed BouajjaniConstantin EneaMadhavan MukundRajarshi Roy
Published in: NETYS (2018)
Keyphrases
  • event driven
  • information delivery
  • real time
  • publish subscribe
  • event streams
  • markup language
  • automatic programming