@InProceedings{sanchez05final,
  author = 	 {C\'esar S\'anchez and Henny B. Sipma and Matteo Slanina and Zohar Manna},
  title = 	 {Final Semantics for {E}vent-{P}attern {R}eactive {P}rograms},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {First International Conference in Algebra and Coalgebra in Computer Science (CALCO'05)},
  pages = 	 {364--378},
  year = 	 {2005},
  editor = 	 {Jos\'{e} Luiz Fiadeiro and Neil Harman and Markus Roggenbach and Jan Rutten},
  volume = 	 {3629},
  OPTnumber = 	 {},
  series = 	 {LNCS},
  OPTaddress = 	 {},
  month = 	 {September},
  OPTorganization = {},
  publisher = {Springer-Verlag},
  OPTannote = 	 {}
}