Link  Paper  bibtex   

@article{journals/iandc/BenvenisteGSS92,
  added-at = {2011-07-06T00:00:00.000+0200},
  author = {Benveniste, Albert and Guernic, Paul Le and Sorel, Yves and Sorine, Michel},
  biburl = {http://www.bibsonomy.org/bibtex/21de302e7cce5ea34b01cc2fdafe654bd/dblp},
  ee = {http://dx.doi.org/10.1016/0890-5401(92)90030-J},
  interhash = {d02f694522e557df7bb0cae56fa4b0a9},
  intrahash = {1de302e7cce5ea34b01cc2fdafe654bd},
  journal = {Inf. Comput.},
  keywords = {dblp},
  month = {August},
  number = 2,
  pages = {192-230},
  timestamp = {2011-07-07T11:33:02.000+0200},
  title = {A Denotational Theory of Synchronous Reactive Systems},
  url = {http://dblp.uni-trier.de/db/journals/iandc/iandc99.html#BenvenisteGSS92},
  volume = 99,
  year = 1992
}