Concurrency, Complexity and Peformance

by Tofts and Chris Tofts

A monograph presenting an overview of modeling probabilistic process algebra systems within computer architecture and program structures. It lays emphasis on real-time protocols and aims to serve as a resource for computer scientists and software engineers designing, analyzing, and verifying real-time concurrent computer and software systems.

• Format: Hardcover
• Language: English
• ISBN: 0387954384
• ISBN13: 9780387954387
• Release Date: November 2006
• Publisher: Springer
• Length: 265 Pages