Verifying Properties of Systems Relying on Attribute-Based Communication

Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti. Verifying Properties of Systems Relying on Attribute-Based Communication. In Joost-Pieter Katoen, Rom Langerak, Arend Rensink, editors, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Volume 10500 of Lecture Notes in Computer Science, pages 169-190, Springer, 2017. [doi]

Abstract

Abstract is missing.