![The Temporal Logic of Reactive and Concurrent Systems: Specification: Manna, Zohar, Pnueli, Amir: 9780387976648: Amazon.com: Books The Temporal Logic of Reactive and Concurrent Systems: Specification: Manna, Zohar, Pnueli, Amir: 9780387976648: Amazon.com: Books](https://m.media-amazon.com/images/I/61In2KM0NZL._AC_UF1000,1000_QL80_.jpg)
The Temporal Logic of Reactive and Concurrent Systems: Specification: Manna, Zohar, Pnueli, Amir: 9780387976648: Amazon.com: Books
![Concurrent Systems: An Integrated Approach to Operating Systems, Distributed Systems and Databases (Open University Edition) : Bacon, Jean: Amazon.fr: Livres Concurrent Systems: An Integrated Approach to Operating Systems, Distributed Systems and Databases (Open University Edition) : Bacon, Jean: Amazon.fr: Livres](https://m.media-amazon.com/images/I/41sNgRPtj6L._AC_UF1000,1000_QL80_.jpg)
Concurrent Systems: An Integrated Approach to Operating Systems, Distributed Systems and Databases (Open University Edition) : Bacon, Jean: Amazon.fr: Livres
![Software Development Techniques for Reactive and Concurrent Systems... | Download Scientific Diagram Software Development Techniques for Reactive and Concurrent Systems... | Download Scientific Diagram](https://www.researchgate.net/profile/Naoshi-Uchihira/publication/301340999/figure/fig1/AS:648613348782080@1531652881164/Software-Development-Techniques-for-Reactive-and-Concurrent-Systems-view-These.png)