New PDF release: Modeling and Analysis of Communicating Systems (MIT Press)

Complex speaking computers -- pcs attached by way of information networks and in consistent verbal exchange with their environments -- don't continually behave as anticipated. This publication introduces behavioral modeling, a rigorous method of behavioral specification and verification of concurrent and allotted platforms. it truly is one of the only a few innovations able to modeling structures interplay at a degree of abstraction adequate for the interplay to be understood and analyzed. supplying either a mathematically grounded conception and real-world functions, the booklet is acceptable for lecture room use and as a reference for process architects. The ebook covers the basis of behavioral modeling utilizing procedure algebra, transition platforms, summary information kinds, and modal logics. workouts and examples increase the theoretical dialogue. The ebook introduces a modeling language, mCRL2, that permits concise descriptions of even the main complicated disbursed algorithms and protocols. utilizing behavioral axioms and such evidence equipment as confluence, cones, and foci, readers will the best way to turn out such algorithms equivalent to their necessities. requirements in mCRL2 will be simulated, visualized, or tested opposed to their requisites. an intensive mCRL2 toolset for robotically verifying the necessities is freely to be had on-line; this toolset has been effectively used to layout and research business software program that levels from healthcare purposes to particle accelerators at CERN. Appendixes supply fabric on equations and notation in addition to workout solutions.