CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings - Lecture Notes in Computer Science 2421 (Paperback)
  • CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings - Lecture Notes in Computer Science 2421 (Paperback)
zoom

CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings - Lecture Notes in Computer Science 2421 (Paperback)

(editor), (editor), (editor), (editor)
£103.50
Paperback 609 Pages / Published: 05/08/2002
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
This volume contains the proceedings of the 13th International Conference on Concurrency Theory (CONCUR 2002)held in Brno, Czech Republic, August 20-23, 2002. The purpose of the CONCUR conferences is to bring together researchers, - velopers and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics and veri?cation techniques for concurrent systems. T- ics include concurrency-related aspects of models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, - brid systems, probabilistic systems, model-checking, veri?cation techniques, - ?nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and - gorithms, security, case studies, tools and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (The Neth- lands)in 1990 and 1991, the following ones in Stony Brook (USA), Hildesheim (Germany), Uppsala (Sweden), Philadelphia (USA), Pisa (Italy), Warsaw (Poland), Nice (France), Eindhoven (The Netherlands), University Park (Pe- sylvania, USA), and Aalborg (Denmark). The proceedings have appeared in Springer LNCS, as Vols. 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, 1664, 1877, and 2154. Out of 101 regular papers submitted this year, 32 were accepted for p- sentation at the conference and are included in this volume.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540440437
Number of pages: 609
Weight: 1910 g
Dimensions: 233 x 155 x 32 mm
Edition: 2002 ed.

You may also be interested in...

Discrete Mathematics
Added to basket
Networks
Added to basket
£52.00
Hardback
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Bayesian Methods for Hackers
Added to basket
The Elements of Statistical Learning
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Cryptanalysis
Added to basket
The End of Error
Added to basket
Concrete Mathematics
Added to basket
The Lattice Boltzmann Equation
Added to basket
The Art of Computer Programming
Added to basket
Foundation Mathematics
Added to basket
How to Think About Algorithms
Added to basket
A First Course in Coding Theory
Added to basket
Data Analysis with Open Source Tools
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.