Can I read Concurrency Theory Overview on EtoBox?

Concurrency Theory Overview by Maha Nasir is a document available to read on EtoBox.

What is Concurrency Theory Overview about?

This document is a textbook on basic concurrency theory that introduces Petri nets and transition systems as formal models for concurrency. It defines key concepts such as markings, behavior, and atomic actions in these models. It also covers modeling sequential and concurrent processes, synchronization, safety and liveness properties, temporal logic, monitor invariants, and techniques for proving properties. The goal is to provide students with an understanding of the abstract foundations of concurrency ve

Author

Maha Nasir

Language

EN