Items where Author is "Inverso, Omar"

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang at Work. In: SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics. Lecture Notes in Computer Science, 10139 . Springer, pp. 485-497. ISBN 978-3-319-51963-0 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang: Empowering Erlang with Attribute-Based Communication. In: Coordination Models and Languages. International Conference on Coordination Languages and Models. Lecture Notes in Computer Science, 10319 . Springer, pp. 21-39. ISBN 978-3-319-59746-1 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco Verifying Properties of Systems Relying on Attribute-Based Communication. In: ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10500 . Springer, pp. 169-190. ISBN 978-3-319-68270-9 (2017)