Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author="Mousavi, Mohammad Reza...
cover
Modeling and analysis of communicating systems
Comment Share
Groote, J. F.Mousavi, Mohammad Reza,

Complex communicating computer systems -- computers connected by data networks and in constant communication with their environments -- do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a …

Edition
-
ISBN/ISSN
0262321033
Collation
1 online resource (xvi, 376 pages) :illustrations
Series Title
-
Call Number
-