ISBN 9783540283096,Concur 2005, Concurrency Theory

Concur 2005, Concurrency Theory

Rs7439

Publisher

Ingram Publisher Services

Publication Year 2005
ISBN-13

ISBN 9783540283096

ISBN-10 3540283099
Binding

Paperback

Number of Pages 1304 Pages
Subject

Parallel processing

Constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, real-time systems, verification techniques, and more.
Scroll