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.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.