Final semantics for eventpattern reactive programs (2005)

by César Sánchez , Henny B. Sipma , Matteo Slanina , Zohar Manna
Venue:of Lecture Notes in Computer Science
Citations:8 - 3 self