Logical Analysis of Complex Concurrent Systems

By Radu Mardare

This book proposes a logical framework to specify and analyze the knowledge of the observers of a concurrent-distributed computational system. Such a system could be a computer network, a financial... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3838388984
• ISBN13: 9783838388984
• Release Date: August 2010
• Publisher: LAP Lambert Academic Publishing
• Length: 244 Pages
• Weight: 0.80 lbs.
• Dimensions: 0.6" x 6.0" x 9.0"