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 100.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: Koutny, Maciej (Hrsg.)
- ISBN: 978-3-642-32939-5
- EAN: 9783642329395
- Produktnummer: 13395238
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2012
- Seitenangabe: 596 S.
- Masse: H23.5 cm x B15.5 cm x D3.1 cm 890 g
- Auflage: 2012
- Abbildungen: Paperback
- Gewicht: 890
4 weitere Werke von Irek (Hrsg.) Ulidowski:
Bewertungen
Anmelden