Logics and Models of Concurrent Systems

by Krzysztof R. Apt

The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as opposed to the... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642824552
• ISBN13: 9783642824555
• Release Date: December 2011
• Publisher: Springer
• Length: 500 Pages
• Weight: 1.78 lbs.
• Dimensions: 1.0" x 6.7" x 9.6"