A denotational theory of synchronous communicating systems
- Author
- BENVENISTE, Albert; LE GUERNIC, Paul
INRIA. Unité de recherche de Rennes, Rennes, France
CNRS. Institut de recherche en informatique et systèmes aléatoires, Rennes, France
Institut national des sciences appliquées de Rennes. Institut de recherche en informatique et systèmes aléatoires, Rennes, France - Source
Rapports de recherche - INRIA. 1987, Vol 685, 61 p. ; ref : 3 p
- ISSN
- 0249-6399
- Report number
- INRIA-RR - 685
- Scientific domain
- Control theory, operational research; Electronics; Computer science; Mathematics; Telecommunications
- Publisher
- Institut national de recherche en informatique et en automatique, Le Chesnay
- Publication country
- France
- Document type
- Report
- Language
- English
- Keyword (fr)
- Histoire Langage programmation Processus communicant Synchronisation Sémantique dénotationnelle Langage ESTEREL Langage LUSTRE Langage SIGNAL
- Keyword (en)
- History Programming language Communicating process Synchronization Denotational semantics
- Keyword (es)
- Historia Lenguaje programación Sincronización Semántica denotacional
- Classification
- Pascal
- 001 Exact sciences and technology / 001D Applied sciences / 001D02 Computer science; control theory; systems / 001D02B Software / 001D02B02 Programming languages
- Discipline
- Computer science : theoretical automation and systems
- Origin
- Inist-CNRS
- Database
- PASCAL
- INIST identifier
- 7476529
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Install on your browser
"O:13:\"PanistOpenUrl\":36:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000idc\";N;s:6:\"\u0000*\u0000fmt\";s:6:\"report\";s:6:\"\u0000*\u0000doi\";s:0:\"\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:0:\"\";s:9:\"\u0000*\u0000jtitle\";s:29:\"Rapports de recherche - INRIA\";s:9:\"\u0000*\u0000stitle\";s:19:\"Rapp. rech. - INRIA\";s:7:\"\u0000*\u0000date\";s:4:\"1987\";s:9:\"\u0000*\u0000volume\";s:3:\"685\";s:8:\"\u0000*\u0000issue\";s:0:\"\";s:8:\"\u0000*\u0000spage\";s:0:\"\";s:8:\"\u0000*\u0000epage\";s:0:\"\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"0249-6399\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:10:\"BENVENISTE\";s:10:\"\u0000*\u0000aufirst\";s:6:\"Albert\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:16:\"LE GUERNIC, Paul\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:0:\"\";s:8:\"\u0000*\u0000genre\";s:6:\"report\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:58:\"A denotational theory of synchronous communicating systems\";s:8:\"\u0000*\u0000title\";s:58:\"A denotational theory of synchronous communicating systems\";s:8:\"\u0000*\u0000place\";s:10:\"Le Chesnay\";s:6:\"\u0000*\u0000pub\";s:64:\"Institut national de recherche en informatique et en automatique\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"61\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
Panist access
"O:12:\"IstexOpenUrl\":35:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000fmt\";s:6:\"report\";s:6:\"\u0000*\u0000doi\";s:0:\"\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:0:\"\";s:9:\"\u0000*\u0000jtitle\";s:29:\"Rapports de recherche - INRIA\";s:9:\"\u0000*\u0000stitle\";s:19:\"Rapp. rech. - INRIA\";s:7:\"\u0000*\u0000date\";s:4:\"1987\";s:9:\"\u0000*\u0000volume\";s:3:\"685\";s:8:\"\u0000*\u0000issue\";s:0:\"\";s:8:\"\u0000*\u0000spage\";s:0:\"\";s:8:\"\u0000*\u0000epage\";s:0:\"\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"0249-6399\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:10:\"BENVENISTE\";s:10:\"\u0000*\u0000aufirst\";s:6:\"Albert\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:16:\"LE GUERNIC, Paul\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:0:\"\";s:8:\"\u0000*\u0000genre\";s:6:\"report\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:58:\"A denotational theory of synchronous communicating systems\";s:8:\"\u0000*\u0000title\";s:58:\"A denotational theory of synchronous communicating systems\";s:8:\"\u0000*\u0000place\";s:10:\"Le Chesnay\";s:6:\"\u0000*\u0000pub\";s:64:\"Institut national de recherche en informatique et en automatique\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"61\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
Istex access
"O:16:\"EuropePMCOpenUrl\":35:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000fmt\";s:6:\"report\";s:6:\"\u0000*\u0000doi\";s:0:\"\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:0:\"\";s:9:\"\u0000*\u0000jtitle\";s:29:\"Rapports de recherche - INRIA\";s:9:\"\u0000*\u0000stitle\";s:19:\"Rapp. rech. - INRIA\";s:7:\"\u0000*\u0000date\";s:4:\"1987\";s:9:\"\u0000*\u0000volume\";s:3:\"685\";s:8:\"\u0000*\u0000issue\";s:0:\"\";s:8:\"\u0000*\u0000spage\";s:0:\"\";s:8:\"\u0000*\u0000epage\";s:0:\"\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"0249-6399\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:10:\"BENVENISTE\";s:10:\"\u0000*\u0000aufirst\";s:6:\"Albert\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:16:\"LE GUERNIC, Paul\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:0:\"\";s:8:\"\u0000*\u0000genre\";s:6:\"report\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:58:\"A denotational theory of synchronous communicating systems\";s:8:\"\u0000*\u0000title\";s:58:\"A denotational theory of synchronous communicating systems\";s:8:\"\u0000*\u0000place\";s:10:\"Le Chesnay\";s:6:\"\u0000*\u0000pub\";s:64:\"Institut national de recherche en informatique et en automatique\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"61\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
Europe PubMed Central access
"O:12:\"ArXivOpenUrl\":35:{s:10:\"\u0000*\u0000openUrl\";N;s:6:\"\u0000*\u0000fmt\";s:6:\"report\";s:6:\"\u0000*\u0000doi\";s:0:\"\";s:6:\"\u0000*\u0000pii\";s:0:\"\";s:7:\"\u0000*\u0000pmid\";s:0:\"\";s:9:\"\u0000*\u0000atitle\";s:0:\"\";s:9:\"\u0000*\u0000jtitle\";s:29:\"Rapports de recherche - INRIA\";s:9:\"\u0000*\u0000stitle\";s:19:\"Rapp. rech. - INRIA\";s:7:\"\u0000*\u0000date\";s:4:\"1987\";s:9:\"\u0000*\u0000volume\";s:3:\"685\";s:8:\"\u0000*\u0000issue\";s:0:\"\";s:8:\"\u0000*\u0000spage\";s:0:\"\";s:8:\"\u0000*\u0000epage\";s:0:\"\";s:8:\"\u0000*\u0000pages\";s:0:\"\";s:7:\"\u0000*\u0000issn\";s:9:\"0249-6399\";s:8:\"\u0000*\u0000eissn\";s:0:\"\";s:9:\"\u0000*\u0000aulast\";s:10:\"BENVENISTE\";s:10:\"\u0000*\u0000aufirst\";s:6:\"Albert\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:16:\"LE GUERNIC, Paul\";}s:9:\"\u0000*\u0000aucorp\";s:0:\"\";s:7:\"\u0000*\u0000isbn\";s:0:\"\";s:8:\"\u0000*\u0000coden\";s:0:\"\";s:8:\"\u0000*\u0000genre\";s:6:\"report\";s:7:\"\u0000*\u0000part\";s:0:\"\";s:9:\"\u0000*\u0000btitle\";s:58:\"A denotational theory of synchronous communicating systems\";s:8:\"\u0000*\u0000title\";s:58:\"A denotational theory of synchronous communicating systems\";s:8:\"\u0000*\u0000place\";s:10:\"Le Chesnay\";s:6:\"\u0000*\u0000pub\";s:64:\"Institut national de recherche en informatique et en automatique\";s:10:\"\u0000*\u0000edition\";s:0:\"\";s:9:\"\u0000*\u0000tpages\";s:2:\"61\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
arXiv access
