On the Power of Attribute-Based Communication, Components, and Systems -36th IFIP International Conference, pp.1-18978, 2016. ,
DOI : 10.1007/978-3-642-45364-9_11
URL : https://hal.archives-ouvertes.fr/hal-01432924
Programming of CAS Systems by Relying on Attribute-Based Communication, Foundational Techniques -7th International Symposium, ISoLA '16, 2016, Proceedings, Part I, pp.539-553978, 2016. ,
DOI : 10.1109/WETICE.2015.32
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. ArXiv e-prints, 2017. ,
A calculus for attribute-based communication, Proceedings of the 30th Annual ACM Symposium on Applied Computing , SAC '15, pp.1840-1845, 2015. ,
DOI : 10.1007/978-3-540-89437-7_8
Actors: A Model of Concurrent Computation in Distributed Systems, 1986. ,
, Formal Techniques for Distributed Objects, Components , and Systems -36th IFIP WG 6.1 International Conference Proceedings, Lecture Notes in Computer Science, 2016.
Reliable broadcast protocols, ACM Transactions on Computer Systems, vol.2, issue.3, pp.251-273, 1984. ,
DOI : 10.1145/989.357400
Asynchronous atomic broadcast, IBM Technical Disclosure Bulletin, vol.33, issue.9, pp.115-116, 1991. ,
The pinwheel asynchronous atomic broadcast protocols, Proceedings ISADS 95. Second International Symposium on Autonomous Decentralized Systems, pp.215-221398975, 1995. ,
DOI : 10.1109/ISADS.1995.398975
AErlang at Work, SOFSEM 2017: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, pp.485-497 ,
DOI : 10.1145/1291151.1291171
, , 2017.
Total order broadcast and multicast algorithms, ACM Computing Surveys, vol.36, issue.4, pp.372-421, 2004. ,
DOI : 10.1145/1041680.1041682
Collective adaptive systems, Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp '15, 2015. ,
DOI : 10.1016/j.pmcj.2014.12.002
Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985. ,
DOI : 10.1145/3149.214121
, Graph coloring problems, 1995.
A virtual machine for a process calculus Principles and Practice of Declarative Programming, pp.244-260, 1999. ,
A calculus of broadcasting systems, TAPSOFT'91, pp.338-358, 1991. ,
Continuous-Time Markov Chains (W. J. Anderson), SIAM Review, vol.36, issue.2, pp.316-317, 1994. ,
DOI : 10.1137/1036084
The pi-calculus: a Theory of Mobile Processes, 2003. ,
Efficient kinetic Monte Carlo simulation, Journal of Computational Physics, vol.227, issue.4, pp.2455-2462, 2008. ,
DOI : 10.1016/j.jcp.2007.10.021
The quest for scalable blockchain fabric: Proof-of-work vs. bft replication Open Problems in Network Security, pp.112-125, 2016. ,