Opening book details…
Can I read CONCUR 2012 -- Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings on EtoBox?
CONCUR 2012 -- Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings by Jos C. M. Baeten, Bas Luttik, Paul van Tilburg (auth.), Maciej Koutny, Irek Ulidowski (eds.) is a nonfiction available to read on EtoBox.
What is CONCUR 2012 -- Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings about?
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.
Who reads CONCUR 2012 -- Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Jos C. M. Baeten, Bas Luttik, Paul van Tilburg (auth.), Maciej Koutny, Irek Ulidowski (eds.)
- Publisher
- Springer Berlin Heidelberg : Imprint : Springer
- Published
- 2012
- Language
- EN
- ISBN
- 9783642329395
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Business
More by Jos C. M. Baeten, Bas Luttik, Paul van Tilburg (auth.), Maciej Koutny, Irek Ulidowski (eds.)
Similar books
- Trustworthy Global Computing : 7th International Symposium, TGC 2012, Newcastle Upon Tyne, UK, September 7-8, 2012, Revised Selected Papers — Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse (auth.), Catuscia Palamidessi, Mark D. Ryan (2013)
- CONCUR 2013 -- Concurrency Theory : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings — Lorenzo Alvisi, Edmund L. Wong (auth.), Pedro R. D’Argenio, Hernán Melgratti (2013)
- CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings (Lecture Notes in Computer Science, 8704) — Paolo Baldan and Daniele Gorla (2014)
- CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (Lecture Notes in Computer Science (5710)) — Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (2009)
- CONCUR 2010 - concurrency theory : 21th International Conference, CONCUR 2010, Paris, France, August 31 - September 3, 2010 ; proceedings — Frank S. de Boer, Mohammad Mahdi Jaghoori (auth.), Paul Gastin, François Laroussinie (2010)
- Concur 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings — Joseph Y. Halpern (auth.), Franck van Breugel, Marsha Chechik (2008)