Visit our Christmas Gift Finder
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 dispatched 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...

Cryptanalysis
Added to basket
The Elements of Statistical Learning
Added to basket
Sets, Logic and Maths for Computing
Added to basket
Numerical Recipes 3rd Edition
Added to basket
The Algorithm Design Manual
Added to basket
Automata and Computability
Added to basket
Foundation Mathematics
Added to basket
Discrete Mathematics
Added to basket
Probability and Computing
Added to basket
Coding Theory
Added to basket
£44.99
Paperback
MATLAB Demystified
Added to basket
£21.99
Paperback
A First Course in Coding Theory
Added to basket
Data Analysis with Open Source Tools
Added to basket
The Lattice Boltzmann Equation
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.