Final Semantics for Event-Pattern Reactive Programs.

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

Browse the full CALCO paper archive.