CONCUR 2006 - Concurrency Theory
Subtitle: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science)
Contributors: Christel Baier (Editor); Holger Hermanns (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 25, 2006
Language: eng
Format: Paperback
Number of pages: 525
ISBN-13: 9783540373766
Subjects: Parallel processing; Networking - General; Computers - General Information; Computers; Computer Books: General; Programming - General; Logic Design; Computers / Logic Design; automata; communication protocols; concurrency; concurrent processing; concurrent rewriting; concurrent systems; distributed computing; formal verification; hybrid systems; infinite state systems; minimization; General