CONCUR '94 : concurrency theory : 5th International Conference Uppsala, Sweden, August 22 25, 1994 : proceedings
This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
836 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • CONCUR '94, concurrency theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, proceedings, Bengt Jonsson, Joachim Parrow, eds, Berlin, Springer-Verlag, 1994, 1 vol. (IX-528 p.), Lecture notes in computer science, 3-540-58329-7 • CONCUR '94: Concurrency Theory, Texte imprimé, 9783662204269 |
| LEADER | 02936nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 945230 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155219154 | ||
| 020 | |a 9783540486541 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Concurrency Theory |n (05 |d :1994 |c :Uppsala). | |
| 245 | 1 | 0 | |a CONCUR '94 : |b concurrency theory : 5th International Conference Uppsala, Sweden, August 22 25, 1994 : proceedings |c [edited by] Bengt Jonsson, Joachim Parrow. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 836 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Jonsson, Bengt, |d 1957- |4 pbd | |
| 700 | 1 | |a Parrow, Joachim, |d 1956- |4 pbd | |
| 776 | 0 | |0 021293643 |t CONCUR '94, concurrency theory |o 5th International Conference, Uppsala, Sweden, August 22-25, 1994 |o proceedings |f Bengt Jonsson, Joachim Parrow, eds |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (IX-528 p.) |s Lecture notes in computer science |z 3-540-58329-7 | |
| 776 | 0 | |t CONCUR '94: Concurrency Theory |b Texte imprimé |z 9783662204269 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0014992 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-2H0JS4MJ-1 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747912505 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0014992 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750925310 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0014992 |z Accès INSA CVL | |
| 997 | |0 945230 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||