Modeling and Analysis of Communicating Systems by Mohammad Reza Mousavi, Jan Friso Groote
Modeling and Analysis of Communicating Systems

Mohammad Reza Mousavi, Jan Friso Groote

Modeling and Analysis of Communicating Systems

Mohammad Reza Mousavi, Jan Friso Groote

392 pages first pub 2014 (editions)

medium-paced
Powered by AI (Beta)
Loading...

Description

The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that...

Read more

Community Reviews

Loading...

Content Warnings

Loading...