Final semantics for eventpattern reactive programs (2005)

by C Sánchez, H B Sipma, M Slanina, Z Manna
Venue:of Lecture Notes in Computer Science