Logo eprints

Items where Author is "Abd Alrahman, Yehia Moustafa"

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

2017

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)

2016

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)

2015

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 Fri Mar 29 10:22:54 2024 CET.