Modeling Concurrent Systems

Extends the language of single-agent Abstract State Machines (ASMs) for modeling concurrent and/or communicating processes. It explains how to pass from synchronous to asynchronous process models and illustrates the role of model validation for concurrent systems (exploiting the executability of ASMs). Monitoring of asynchronous process networks is used as example for the application of communicating ASMs as modeling instrument.