CONCUR '98 Concurrency Theory
Produktnummer:
18c622f460d5904eae80bc792643cbe2f8
Themengebiete: | Concurrency CalcuLi Linear Time Logics Process Algebras Real-Time Systems Type Systems algorithm algorithms model checking petri net real-time |
---|---|
Veröffentlichungsdatum: | 19.08.1998 |
EAN: | 9783540648963 |
Sprache: | Englisch |
Seitenzahl: | 663 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Sangiorgi, Davide Simone, Robert de |
Verlag: | Springer Berlin |
Untertitel: | 9th International Conference, Nice, France, September 8-11, 1998, Proceedings |
Produktinformationen "CONCUR '98 Concurrency Theory"
This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen