CONCUR '94: Concurrency Theory
5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings
Seiten
1994
|
1994
Springer Berlin (Verlag)
978-3-540-58329-5 (ISBN)
Springer Berlin (Verlag)
978-3-540-58329-5 (ISBN)
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.
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.
| Erscheint lt. Verlag | 27.7.1994 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | IX, 534 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 685 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | Automat • Automata • Automaten • Concurrency • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Nebenläufigkeit • Paralleler Prozess • Parallelism • Parallelität • Parallelverarbeitung • Petrinetze • Programmiersemantik • Programmierung • Programming Semantics • Programmverifikation • Program verification • Semantics • Verteilte Systeme |
| ISBN-10 | 3-540-58329-7 / 3540583297 |
| ISBN-13 | 978-3-540-58329-5 / 9783540583295 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
a beginner's guide to learning llvm compiler tools and core …
Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
CHF 69,80
