CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Christel Baier · Holger Hermanns
Aug 2006 · Springer
Ebook
528
Pages
reportRatings and reviews aren’t verified Learn More
About this ebook
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. ThepurposeoftheCONCURconferenceseriesistobringtogetherresearchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing,as a c- sequence of the importance and ubiquity of concurrent systems and their app- cations and the scienti?c relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain theoretic or game theoretic models, modal and temporal logics), specialized models or classes of systems (such as circuits, synchronous systems, real-time and hybrid systems, stochastic systems, databases, mobile and migrating systems, parametric pro- cols, security protocols), related veri?cation techniques and tools (such as sta- spaceexploration,model-checking,synthesis,abstraction,automated deduction, testing), and related programming models (such as distributed, constraint- or object-oriented,graphrewriting,aswellasassociatedtypesystems,staticana- ses, abstract machines, and environments). This volume starts with ?ve invited papers covering the invited lectures and tutorials of the conference. The remaining 29 papers were selected by the P- gramme Committee out of 101 submissions after a very intensive reviewing and discussion phase. We would like to thank the members of the Programme C- mittee and the external reviewers for their excellent and hard work. The conference programme contained three invited lectures and two invited tutorials. The invited talks were given by Edward A.
Rate this ebook
Tell us what you think.
Reading information
Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.
