![An Operational Guide to Monitorability __ Luca Aceto - TeIAS | Tehran Institute for Advanced Studies An Operational Guide to Monitorability __ Luca Aceto - TeIAS | Tehran Institute for Advanced Studies](https://teias.institute/beta/wp-content/uploads/2020/12/Luca-Aceto.jpg)
An Operational Guide to Monitorability __ Luca Aceto - TeIAS | Tehran Institute for Advanced Studies
![An Operational Guide to Monitorability __ Luca Aceto - TeIAS | Tehran Institute for Advanced Studies An Operational Guide to Monitorability __ Luca Aceto - TeIAS | Tehran Institute for Advanced Studies](https://teias.institute/beta/wp-content/uploads/2020/12/luca-aceto.EN_.V15-1280x1810.jpg)
An Operational Guide to Monitorability __ Luca Aceto - TeIAS | Tehran Institute for Advanced Studies
Tölvunarfræðideild HR / Department of Computer Science at RU - Title : Adventures in Monitorability: From Branching to Linear Time and Back Again Authors : Anna Ingólfsdóttir, Luca Aceto, Antonis Achilleos, Adrian
![Reactive Systems: Modelling, Specification and Verification: Aceto, Luca, Ingólfsdóttir, Anna, Larsen, Kim Guldstrand, Srba, Jiri: 9781107410688: Amazon.com: Books Reactive Systems: Modelling, Specification and Verification: Aceto, Luca, Ingólfsdóttir, Anna, Larsen, Kim Guldstrand, Srba, Jiri: 9781107410688: Amazon.com: Books](https://m.media-amazon.com/images/I/51UdXiM7DOL._AC_UF1000,1000_QL80_.jpg)
Reactive Systems: Modelling, Specification and Verification: Aceto, Luca, Ingólfsdóttir, Anna, Larsen, Kim Guldstrand, Srba, Jiri: 9781107410688: Amazon.com: Books
![Luca ACETO | Postdoctoral fellow | Structural engineer | Università degli Studi G. d'Annunzio Chieti e Pescara, Chieti | UNICH | Department of Engineering and Geology (InGeo) | Research profile Luca ACETO | Postdoctoral fellow | Structural engineer | Università degli Studi G. d'Annunzio Chieti e Pescara, Chieti | UNICH | Department of Engineering and Geology (InGeo) | Research profile](https://i1.rgstatic.net/ii/profile.image/649811174907904-1531938465006_Q512/Luca-Aceto.jpg)
Luca ACETO | Postdoctoral fellow | Structural engineer | Università degli Studi G. d'Annunzio Chieti e Pescara, Chieti | UNICH | Department of Engineering and Geology (InGeo) | Research profile
![Action refinement process algebras | Programming languages and applied logic | Cambridge University Press Action refinement process algebras | Programming languages and applied logic | Cambridge University Press](https://assets.cambridge.org/97805214/31118/cover/9780521431118.gif)