Expressive Completeness of an Event-Pattern Reactive Programming Language.

Csar Snchez, Matteo Slanina, Henny B. Sipma, Zohar Manna

Browse the full FORTE paper archive.