Cover Image
Read Now

CONCUR 2011 -- Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

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-...

Full description

Bibliographic Details
Other Authors: Katoen, Joost-Pieter (Editor), König, Barbara (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2011, 2011
Edition:1st ed. 2011
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Communication Networks
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Artificial Intelligence
Application Software
Computer Networks 
Computer And Information Systems Applications
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02017nmm a2200397 u 4500
001 EB000387566
003 EBX01000000000000000240618
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783642232176 
100 1 |a Katoen, Joost-Pieter  |e [editor] 
245 0 0 |a CONCUR 2011 -- Concurrency Theory  |h Elektronische Ressource  |b 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings  |c edited by Joost-Pieter Katoen, Barbara König 
250 |a 1st ed. 2011 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2011, 2011 
300 |a XIV, 560 p. 121 illus., 17 illus. in color  |b online resource 
653 |a Computer Communication Networks 
653 |a Compilers (Computer programs) 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Compilers and Interpreters 
653 |a Software engineering 
653 |a Computer science 
653 |a Artificial Intelligence 
653 |a Software Engineering 
653 |a Application software 
653 |a Computer networks  
653 |a Artificial intelligence 
653 |a Computer and Information Systems Applications 
700 1 |a König, Barbara  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
028 5 0 |a 10.1007/978-3-642-23217-6 
856 4 0 |u https://doi.org/10.1007/978-3-642-23217-6?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1 
520 |a 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 

Similar Items