You might also like

More about CONCUR 2011 -- Concurrency Theory

• Book details
• Synopsis
• Trending among others

You get 156 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. §The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, -calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

Book details

Book category Books in English Computing & information technology Computer hardware Network hardware

• Full title: CONCUR 2011 -- Concurrency Theory
• Subtitle: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
• Author: Joost-Pieter Katoen, Barbara König
• Language: English
• Binding: Paperback
• Number of pages: 560
• EAN: 9783642232169
• ISBN: 3642232167
• ID: 01658622
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 856 g
• Dimensions: 235 × 155 × 30 mm
• Date of publishing: 22. August 2011

Trending among others

---

---

---