The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. Berry, G. & Gonthier, G. Sci. Comput. Program., 19(2):87--152, November, 1992. 01960![The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @article{berry_esterel_1992,
title = {The {ESTEREL} {Synchronous} {Programming} {Language}: {Design}, {Semantics}, {Implementation}},
volume = {19},
issn = {0167-6423},
shorttitle = {The {ESTEREL} {Synchronous} {Programming} {Language}},
url = {http://dx.doi.org/10.1016/0167-6423(92)90005-V},
doi = {10.1016/0167-6423(92)90005-V},
number = {2},
urldate = {2014-05-16TZ},
journal = {Sci. Comput. Program.},
author = {Berry, Gérard and Gonthier, Georges},
month = nov,
year = {1992},
note = {01960},
pages = {87--152}
}
Downloads: 0
{"_id":"f6gRkRHBTpGK4yfb3","bibbaseid":"berry-gonthier-theesterelsynchronousprogramminglanguagedesignsemanticsimplementation-1992","downloads":0,"creationDate":"2016-10-05T13:48:43.756Z","title":"The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation","author_short":["Berry, G.","Gonthier, G."],"year":1992,"bibtype":"article","biburl":"http://bibbase.org/zotero/alanlivio","bibdata":{"bibtype":"article","type":"article","title":"The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation","volume":"19","issn":"0167-6423","shorttitle":"The ESTEREL Synchronous Programming Language","url":"http://dx.doi.org/10.1016/0167-6423(92)90005-V","doi":"10.1016/0167-6423(92)90005-V","number":"2","urldate":"2014-05-16TZ","journal":"Sci. Comput. Program.","author":[{"propositions":[],"lastnames":["Berry"],"firstnames":["Gérard"],"suffixes":[]},{"propositions":[],"lastnames":["Gonthier"],"firstnames":["Georges"],"suffixes":[]}],"month":"November","year":"1992","note":"01960","pages":"87--152","bibtex":"@article{berry_esterel_1992,\n\ttitle = {The {ESTEREL} {Synchronous} {Programming} {Language}: {Design}, {Semantics}, {Implementation}},\n\tvolume = {19},\n\tissn = {0167-6423},\n\tshorttitle = {The {ESTEREL} {Synchronous} {Programming} {Language}},\n\turl = {http://dx.doi.org/10.1016/0167-6423(92)90005-V},\n\tdoi = {10.1016/0167-6423(92)90005-V},\n\tnumber = {2},\n\turldate = {2014-05-16TZ},\n\tjournal = {Sci. Comput. Program.},\n\tauthor = {Berry, Gérard and Gonthier, Georges},\n\tmonth = nov,\n\tyear = {1992},\n\tnote = {01960},\n\tpages = {87--152}\n}\n\n","author_short":["Berry, G.","Gonthier, G."],"key":"berry_esterel_1992","id":"berry_esterel_1992","bibbaseid":"berry-gonthier-theesterelsynchronousprogramminglanguagedesignsemanticsimplementation-1992","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/0167-6423(92)90005-V"},"downloads":0},"search_terms":["esterel","synchronous","programming","language","design","semantics","implementation","berry","gonthier"],"keywords":[],"authorIDs":[],"dataSources":["tudya6YojbqEiF783"]}