TITLE     : A systematic approach to programming and verifying attribute-based communication systems
AUTHOR(S) : De Nicola R, Duong T, Inverso O, Mazzanti F
TYPE      : Contribution to book
YEAR      : 2019
CODE      : 408346

*** DO NOT EDIT THIS FILE ***