Logo eprints

Browse by Author ID

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 4.

Book Section

Abd 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 Paper

Abd 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)

This list was generated on Wed Sep 19 01:01:34 2018 CEST.