CONCUR 2001 - Concurrency Theory
Subtitle: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science)
Contributors: Kim G. Larsen (Editor); Mogens Nielsen (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 21, 2001
Language: eng
Format: Paperback
Number of pages: 583
ISBN-13: 9783540424970
Subjects: Algebra; Mathematical theory of computation; Parallel Processing; 21st century; Logic Design; Parallel processing (Electronic computers); Computers; Medical / Nursing; Networking - General; Computer Books: General; Multitasking (Computer science); General; Computers / Logic Design; Concurrency; Concurrent Processing; Constraint Logic Programming; Distributed Systems; Hybrid Systems; Model Checking; Parallel Computing; Programming - Parallel Programming; Parallel processing (Electroni; Data Processing - Parallel Processing; Congresses; Multitasking (Computer science
First sentence: Protocol verification has, since 25 years, been a driving application for the development of automated verification techniques.