Modelling infinitary behaviours of communicating systems; Modèles des comportements infinitaires de systèmes communicants
- Author
- DARONDEAU, Philippe; GAMATIE, Boubakar
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
INRIA, Unité de recherche de Rennes, Rennes, France - Source
Rapports de recherche - INRIA. 1987, Vol 749, 52 p. ; ref : 32 ref
- ISSN
- 0249-6399
- Report number
- INRIA-RR - 749
- 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)
- Communication Langage programmation Modèle Processus communicant Système Sémantique dénotationnelle Virgule fixe Calcul système communicant Comportement infinitaire Modèle dénotationnel Sémantique opérationnelle
- Keyword (en)
- Communication Programming language Models Communicating process System Denotational semantics Fixed point Calculus of communicating system (CCS) Operational semantics
- Keyword (es)
- Comunicación Lenguaje programación Modelo Sistema Semántica denotacional Coma fija
- Classification
- Pascal
- 001 Exact sciences and technology / 001D Applied sciences / 001D02 Computer science; control theory; systems
- Discipline
- Computer science : theoretical automation and systems
- Origin
- Inist-CNRS
- Database
- PASCAL
- INIST identifier
- 7601392
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:\"749\";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:9:\"DARONDEAU\";s:10:\"\u0000*\u0000aufirst\";s:8:\"Philippe\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:17:\"GAMATIE, Boubakar\";}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:56:\"Modelling infinitary behaviours of communicating systems\";s:8:\"\u0000*\u0000title\";s:56:\"Modelling infinitary behaviours of 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:\"52\";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:\"749\";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:9:\"DARONDEAU\";s:10:\"\u0000*\u0000aufirst\";s:8:\"Philippe\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:17:\"GAMATIE, Boubakar\";}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:56:\"Modelling infinitary behaviours of communicating systems\";s:8:\"\u0000*\u0000title\";s:56:\"Modelling infinitary behaviours of 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:\"52\";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:\"749\";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:9:\"DARONDEAU\";s:10:\"\u0000*\u0000aufirst\";s:8:\"Philippe\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:17:\"GAMATIE, Boubakar\";}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:56:\"Modelling infinitary behaviours of communicating systems\";s:8:\"\u0000*\u0000title\";s:56:\"Modelling infinitary behaviours of 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:\"52\";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:11:\"BaseOpenUrl\":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:\"749\";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:9:\"DARONDEAU\";s:10:\"\u0000*\u0000aufirst\";s:8:\"Philippe\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:17:\"GAMATIE, Boubakar\";}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:56:\"Modelling infinitary behaviours of communicating systems\";s:8:\"\u0000*\u0000title\";s:56:\"Modelling infinitary behaviours of 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:\"52\";s:9:\"\u0000*\u0000series\";s:0:\"\";s:8:\"\u0000*\u0000proxy\";s:30:\"http:\/\/proxyout.inist.fr:8080\/\";s:12:\"\u0000*\u0000integrite\";b:1;}"
Base Search 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:\"749\";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:9:\"DARONDEAU\";s:10:\"\u0000*\u0000aufirst\";s:8:\"Philippe\";s:9:\"\u0000*\u0000auinit\";s:0:\"\";s:10:\"\u0000*\u0000auinitm\";s:0:\"\";s:5:\"\u0000*\u0000au\";a:1:{i:0;s:17:\"GAMATIE, Boubakar\";}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:56:\"Modelling infinitary behaviours of communicating systems\";s:8:\"\u0000*\u0000title\";s:56:\"Modelling infinitary behaviours of 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:\"52\";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
