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
}
Downloads: 0
{"_id":"tcYWfyEm5BMtjLB8u","bibbaseid":"benveniste-guernic-sorel-sorine-adenotationaltheoryofsynchronousreactivesystems-1992","downloads":0,"creationDate":"2016-09-14T11:41:43.026Z","title":"A Denotational Theory of Synchronous Reactive Systems","author_short":["Benveniste, A.","Guernic, P. L.","Sorel, Y.","Sorine, M."],"year":1992,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/guernic?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2011-07-06T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Benveniste"],"firstnames":["Albert"],"suffixes":[]},{"propositions":[],"lastnames":["Guernic"],"firstnames":["Paul","Le"],"suffixes":[]},{"propositions":[],"lastnames":["Sorel"],"firstnames":["Yves"],"suffixes":[]},{"propositions":[],"lastnames":["Sorine"],"firstnames":["Michel"],"suffixes":[]}],"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","bibtex":"@article{journals/iandc/BenvenisteGSS92,\n added-at = {2011-07-06T00:00:00.000+0200},\n author = {Benveniste, Albert and Guernic, Paul Le and Sorel, Yves and Sorine, Michel},\n biburl = {http://www.bibsonomy.org/bibtex/21de302e7cce5ea34b01cc2fdafe654bd/dblp},\n ee = {http://dx.doi.org/10.1016/0890-5401(92)90030-J},\n interhash = {d02f694522e557df7bb0cae56fa4b0a9},\n intrahash = {1de302e7cce5ea34b01cc2fdafe654bd},\n journal = {Inf. Comput.},\n keywords = {dblp},\n month = {August},\n number = 2,\n pages = {192-230},\n timestamp = {2011-07-07T11:33:02.000+0200},\n title = {A Denotational Theory of Synchronous Reactive Systems},\n url = {http://dblp.uni-trier.de/db/journals/iandc/iandc99.html#BenvenisteGSS92},\n volume = 99,\n year = 1992\n}\n\n","author_short":["Benveniste, A.","Guernic, P. L.","Sorel, Y.","Sorine, M."],"key":"journals/iandc/BenvenisteGSS92","id":"journals/iandc/BenvenisteGSS92","bibbaseid":"benveniste-guernic-sorel-sorine-adenotationaltheoryofsynchronousreactivesystems-1992","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/0890-5401(92)90030-J","Paper":"http://dblp.uni-trier.de/db/journals/iandc/iandc99.html#BenvenisteGSS92"},"keyword":["dblp"],"downloads":0},"search_terms":["denotational","theory","synchronous","reactive","systems","benveniste","guernic","sorel","sorine"],"keywords":["dblp"],"authorIDs":[],"dataSources":["Q4AxEyCiwhuEHt7Ey"]}