@INPROCEEDINGS{tase13,    
  author    = "Gaff\'e, Daniel and Ressouche, Annie",
  booktitle = {Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium on},
  title     = {Algebraic Framework for Synchronous Language Semantics},
  booktitle = {7th International Symposium on Theoretical Aspects of Software Engineering, TASE 2013},
  publisher = {IEEE},
  year      = {2013},
  month     = {July 1-3},
  pages     = {51-58},
  address   = {Birmingham, UK},
  keywords  = {Boolean algebra;Coherence;Equations;Lattices;Semantics;Synchronization;Boolean algebra;multi-valued algebras;synchronous languages;synchrony paradigm}
}