A calculus of communicating systems
Salvato in:
| Autore principale: | Milner, Robin, 1934-2010 |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
92 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • A calculus of communicating systems, Robin Milner, Berlin, Springer-Verlag, 1980, 1 vol. (VI-171 p.), Lecture notes in computer science, 0-387-10235-3 • A Calculus of Communicating Systems, Texte imprimé, 9783662171424 |
Documenti analoghi
- Methods of algorithmic language implementation (Livre numérique)
-
Formal aspects of cognitive processes : interdisciplinary conference, Ann Arbor, March 1972
(Livre numérique)
Springer, 2005 -
Simple program schemes and formal languages
(Livre numérique)
Engelfriet, Joost
Springer, 2005 - Theoretical computer science : 3rd Gl Conference, Darmstadt, March 28-30, 1977 (Livre numérique)
- Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 (Livre numérique)

