CONCUR 2012- Concurrency Theory
23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings
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.
CHF 93.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Ulidowski, Irek (Hrsg.)
- ISBN: 978-3-642-32940-1
- EAN: 9783642329401
- Produktnummer: 33317947
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 582 S.
- Plattform: PDF
- Masse: 8'232 KB
- Auflage: 2012
- Abbildungen: 84 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 7454
22 weitere Werke von Maciej (Hrsg.) Koutny:
Bewertungen
Anmelden