Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science)

By Ron Koymans

This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540562834
• ISBN13: 9783540562832
• Release Date: December 1992
• Publisher: Springer
• Length: 166 Pages
• Weight: 0.59 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"