Browse by Author ID
Jump to: Book Section | Working Paper Number of items: 4. Book SectionAbd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming of CAS Systems by Relying on Attribute-Based Communication. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, pp. 539-553. ISBN 978-3-319-47166-2 (2016) Working PaperAbd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele A Behavioural Theory for Interactions in Collective-Adaptive Systems. Working Paper arXiv (Submitted) Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. Working Paper arXiv (Submitted) Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele On Expressiveness and Behavioural Theory of Attribute-based Communication. CSA Technical Report #10/2015 IMT Institute for Advanced Studies Lucca (Submitted) |
