Hootsuite: In Pursuit of Reactive Systems.

Edward Steel Yanik Berube Jonas Bonér Ken Britton Terry Coatta

Published in: ACM Queue (2017)

Keyphrases

reactive systems
model checking
temporal logic
petri net
information flow
formal methods
control flow
artificial intelligence
state machines
real time