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)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
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, Maße: 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"
Schreiben Sie einen Kommentar zu "CONCUR 2012- Concurrency Theory".
Kommentar verfassen