Original price was: $54.99.$24.99Current price is: $24.99.
Access CONCUR 2012- Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings 1st Edition Now. Discount up to 90%
| Full Title | CONCUR 2012- Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings 1st Edition |
|---|---|
| Author(s) | Maciej Koutny, Irek Ulidowski |
| Edition | 1st Edition |
| ISBN | 9783642329401, 9783642329395 |
| Publisher | Springer |
| Format | PDF and EPUB |
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.
Book Instantly Available.
Safe Payment with PayPal and Stripe
24/7 Customer Service
