Goat: Attribute-based interaction in google go, International Symposium on Leveraging Applications of Formal Methods, pp.288-303, 2018. ,
A distributed coordination infrastructure for attribute-based interaction, International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp.1-20, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01824810
On the power of attribute-based communication, Proc. of the International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), pp.1-18, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01432924
Programming of cas systems by relying on attribute-based communication, International Symposium on Leveraging Applications of Formal Methods, pp.539-553, 2016. ,
A behavioural theory for interactions in collective-adaptive systems, 2017. ,
Programming the interactions of collective adaptive systems by relying on attribute-based communication, 2017. ,
Adaptive collective systems: herding black sheep, BookSprints for ICT Research, 2013. ,
Total order communications: A practical analysis, European Dependable Computing Conference, pp.38-54, 2005. ,
Lightweight causal and atomic group multicast, ACM Trans. Comput. Syst, vol.9, issue.3, pp.272-314, 1991. ,
,
Verifying properties of systems relying on attribute-based communication, ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma, pp.169-190, 2017. ,
AErlang: empowering Erlang with attribute-based communication, Science of Computer Programming, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01657341
A formal approach to autonomic systems programming: The SCEL language, ACM Transactions on Autonomous and Adaptive Systems, vol.9, issue.2, pp.1-7, 2014. ,
College admissions and the stability of marriage, The American Mathematical Monthly, vol.69, issue.1, pp.9-15, 1962. ,
A state/event-based modelchecking approach for the analysis of abstract system properties, Science of Computer Programming, vol.76, issue.2, pp.119-135, 2011. ,
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
A calculus of broadcasting systems, Science of Computer Programming, vol.25, issue.2-3, pp.285-327, 1995. ,