Can I read Modeling Parallel Systems and Properties on EtoBox?

Modeling Parallel Systems and Properties by farbodtavakolizade is a document available to read on EtoBox.

What is Modeling Parallel Systems and Properties about?

The document provides an overview of modeling parallel systems, focusing on linear time properties, regular properties, linear temporal logic, and computation-tree logic. It discusses transition systems, execution fragments, path fragments, and the differences between linear-time and branching-time views. Additionally, it includes examples, such as a vending machine, to illustrate these concepts.

Author

farbodtavakolizade

Language

EN