A Denotational Theory of Synchronous Reactive Systems. Benveniste, A., Guernic, P. L., Sorel, Y., & Sorine, M. Inf. Comput., 99(2):192-230, August, 1992.
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
}