Modeling and Verification of Parallel Processes

Know about the book -

Modeling and Verification of Parallel Processes is written by Franck Cassez and published by Springer Science & Business Media. It's available with International Standard Book Number or ISBN identification 3540427872 (ISBN 10) and 9783540427872 (ISBN 13).

Computational Intelligence is a very dynamic domain of modern information society which integrates fields such as neural networks, fuzzy systems, evolutionary computation and intelligent systems in general. The book presents papers from the Euro-International Symposium on Computational Intelligence held in Kosice (Slovak Republic) in August 2000. It contains theoretical studies along with a chapter on applications and case studies. One of the main results of the symposium is that the combination of various techniques into hybrid intelligent systems will be very important for the development of intelligent information systems in the 21st century. The book also contains interesting forewords written by L.A. Zadeh, D.E. Goldberg, and K. Fukushima.