{"product_id":"modeling-and-analysis-of-communicating-systems","title":"Modeling And Analysis Of Communicating Systems","description":"\u003cp\u003ePreface. Acknowledgments.I. Modeling-1. Introduction. 2. Actions, Behavior, Equivalence, and Abstraction. 3. Data Types. 4. Sequential Processes. 5. Parallel Processes. 6. The Modal -calculus. 7. Modeling System Behavior. 8. Timed Process Behavior. II. Analysis-9. Basic Manipulation of Processes. 10. Linear Process Equations and Linearization. 11. ConfIuence and t-prioritization. 12. Cones and Foci. 13. Verification of Distributed Systems. 14. Verification of Modal Formulas Using Parameterized Boolean Equation Systems. III. Semantics -15. Semantics. IV. Appendixes-A. Brief Tool Primer. B. Equational Definition of Built-In Data Types. C. Plain-Text Notation. D. Syntax of the Formalisms. E. Axioms for Processes. F. Answers to Exercises. Bibliography.\u003c\/p\u003e","brand":"Prentice Hall","offers":[{"title":"Default Title","offer_id":45877235450054,"sku":"DADAX8120351835","price":10.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0695\/9389\/1014\/files\/913FnbDJQmL.jpg?v=1779649253","url":"https:\/\/ergodemedia.com\/products\/modeling-and-analysis-of-communicating-systems","provider":"Ergodemedia","version":"1.0","type":"link"}