CONCUR 2012- Concurrency Theory
23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings
(Sprache: Englisch)
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „CONCUR 2012- Concurrency Theory “
Klappentext zu „CONCUR 2012- Concurrency Theory “
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability.
Inhaltsverzeichnis zu „CONCUR 2012- Concurrency Theory “
Reachability analysis.-qualitative and timed systems.-behavioural equivalences.-temporal logics.-session types.- abstraction.- mobility and space in process algebra.-stochastic systems.-probabilistic systems.- Petri nets and non-sequential semantics.-verification; decidability.
Bibliographische Angaben
- 2012, 2012, XIV, 582 Seiten, Masse: 17 x 23,6 cm, Kartoniert (TB), Englisch
- Herausgegeben: Maciej Koutny, Irek Ulidowski
- Verlag: Springer, Berlin
- ISBN-10: 364232939X
- ISBN-13: 9783642329395
Sprache:
Englisch
Kommentar zu "CONCUR 2012- Concurrency Theory"
0 Gebrauchte Artikel zu „CONCUR 2012- Concurrency Theory“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "CONCUR 2012- Concurrency Theory".
Kommentar verfassen