CONCUR 2002 - Concurrency Theory
Subtitle: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings (Lecture Notes in Computer Science)
Contributors: Lubos Brim (Editor); Petr Jancar (Editor); Mojmir Kretinsky (Editor); Antonin Kucera (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 17, 2002
Language: eng
Format: Paperback
Number of pages: 611
ISBN-13: 9783540440437
Subjects: Mathematical theory of computation; Parallel Processing; General; Computers; Parallel processing (Electroni; Computers - General Information; Data Processing - Parallel Processing; Computer Books: General; Congresses; Programming - General; Computers / Logic Design; Concurrency; Concurrent Processing; Concurrent Systems; Distributed Computing; Formal Verification; Hybrid Systems; Model Checking; Parallel Computing; Parallel processing (Electronic computers); Computer science; Conferences