A Distributed Coordination Infrastructure for Attribute-Based Interaction, FORTE, 2018. ,
DOI : 10.1007/978-3-319-39028-4_9
On the power of attribute-based communication Full technical report can be found on http, LNCS, vol.9688, pp.1-18, 2016. ,
Programming of CAS Systems by Relying on Attribute-Based Communication, ISoLA, pp.539-553, 2016. ,
DOI : 10.1109/WETICE.2015.32
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. ,
On bisimulations for the asynchronous ??-calculus, Theoretical Computer Science, vol.195, issue.2, pp.291-324, 1998. ,
DOI : 10.1016/S0304-3975(97)00223-5
URL : https://hal.archives-ouvertes.fr/inria-00073784
A Coinductive Calculus of Component Connectors, WADT, volume 2755 of LNCS, pp.34-55, 2002. ,
DOI : 10.2140/pjm.1955.5.285
Modeling component connectors in Reo by constraint automata, Science of Computer Programming, vol.61, issue.2, pp.75-113, 2006. ,
DOI : 10.1016/j.scico.2005.10.008
Aggregate Programming: From Foundations to Applications, SFM, pp.233-260, 2016. ,
DOI : 10.1145/990064.990079
Reasoning (on) Service Component Ensembles in Rewriting Logic, Specification, Algebra, and Software, pp.188-211, 2014. ,
DOI : 10.1007/978-3-642-35887-6_1
Interactive mobile agents in X-KLAIM, Proceedings Seventh IEEE International Workshop on Enabling Technologies: Infrastucture for Collaborative Enterprises (WET ICE '98) (Cat. No.98TB100253), pp.110-115, 1998. ,
DOI : 10.1109/ENABL.1998.725680
KLAVA: a Java package for distributed and mobile applications. Software ? Practice and Experience, pp.1365-1394, 2002. ,
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase, 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops, pp.71-76, 2013. ,
DOI : 10.1109/SASOW.2013.23
The ShaPE of ShaDE: a coordination system, 1996. ,
A tool for rapid development of WS-BPEL applications, ACM SIGAPP Applied Computing Review, vol.11, issue.1, pp.27-40, 2010. ,
DOI : 10.1145/1869687.1869690
Blind-date conversation joining, Service Oriented Computing and Applications, pp.265-283, 2017. ,
Formalising Adaptation Patterns for Autonomic Ensembles, FACS, pp.100-118, 2013. ,
DOI : 10.1007/978-3-319-07602-7_8
, All About Maude LNCS, vol.4350, 2007.
L 2 imbo: a tuple space based platform for adaptive mobile applications, ICODP/ICDP, pp.291-302, 1997. ,
Verifying Properties of Systems Relying on Attribute-Based Communication, LNCS, vol.276, issue.1???2, pp.169-190, 2017. ,
DOI : 10.1007/978-3-642-16265-7_17
AErlang: Empowering Erlang with Attribute-Based Communication, In COORDINATION LNCS, vol.102, issue.2, pp.21-39, 2017. ,
DOI : 10.1016/j.scico.2014.11.016
URL : https://hal.archives-ouvertes.fr/hal-01657341
A Language-Based Approach to Autonomic Computing, FMCO, pp.25-48, 2012. ,
DOI : 10.1007/11498094_17
KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.315-330, 1998. ,
DOI : 10.1109/32.685256
Types for access control, Theoretical Computer Science, vol.240, issue.1, pp.215-254, 2000. ,
DOI : 10.1016/S0304-3975(99)00232-7
Confining data and processes in global computing applications, Science of Computer Programming, vol.63, issue.1, pp.57-87, 2006. ,
DOI : 10.1016/j.scico.2005.07.013
A Modal Logic for Mobile Agents, ACM Trans. Comput. Log, vol.5, issue.1, pp.79-128, 2004. ,
A Formal Approach to Autonomic Systems Programming, ACM Transactions on Autonomous and Adaptive Systems, vol.9, issue.2, p.7, 2014. ,
DOI : 10.1145/2209249.2209268
From flow logic to static type systems for coordination languages, Sci. Comput. Program, vol.75, issue.6, pp.376-397, 2010. ,
Programming and verifying component ensembles, FPS, pp.69-83, 2014. ,
The SCEL language: Design, implementation, verification. In Software Engineering for Collective Autonomic Systems -The ASCENS Approach, LNCS, vol.8998, pp.3-71, 2015. ,
Choosing a Mobile Agent Messaging Model, ISADS, pp.278-286, 2001. ,
DOI : 10.1109/isads.2001.917429
, The Erlang programming language, 2018.
A logical verification methodology for service-oriented computing, ACM Transactions on Software Engineering and Methodology, vol.21, issue.3, pp.1-1646, 2012. ,
DOI : 10.1145/2211616.2211619
MetaKlaim: a type safe multi-stage language for global computing, Mathematical Structures in Computer Science, vol.14, issue.3, pp.367-395, 2004. ,
DOI : 10.1017/S0960129504004165
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, pp.893-895, 2015. ,
DOI : 10.1016/j.pmcj.2014.12.002
Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985. ,
DOI : 10.1145/2363.2433
Multiple tuple spaces in Linda, PARLE, pp.20-27, 1989. ,
DOI : 10.1007/3-540-51285-3_30
The Sensoria Approach Applied to the Finance Case Study, Rigorous Software Engineering for Service-Oriented Systems, pp.698-718, 2011. ,
DOI : 10.1007/978-3-540-74974-5_20
The Go programming language, Last Access, 2018. ,
Dynamic management of capabilities in a network aware coordination language, The Journal of Logic and Algebraic Programming, vol.78, issue.8, pp.665-689, 2009. ,
DOI : 10.1016/j.jlap.2008.12.001
Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978. ,
DOI : 10.1145/359576.359585
The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997. ,
DOI : 10.1109/32.588521
The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003. ,
DOI : 10.1109/MC.2003.1160055
A Calculus for Orchestration of Web Services, ESOP, pp.33-47, 2007. ,
DOI : 10.1007/978-3-540-71316-6_4
Regulating Data Exchange in Service Oriented Applications, FSEN, pp.223-239, 2007. ,
DOI : 10.1007/978-3-540-75698-9_15
Using formal methods to develop WS-BPEL??applications, Science of Computer Programming, vol.77, issue.3, pp.189-213, 2012. ,
DOI : 10.1016/j.scico.2011.03.002
Algorithmic Nuggets in Content Delivery, ACM SIGCOMM Computer Communication Review, vol.45, issue.3, pp.52-66, 2015. ,
DOI : 10.1016/S0169-7552(98)00251-7
URL : https://www.akamai.com/us/en/multimedia/documents/technical-publication/algorithmic-nuggets-in-content-delivery-technical-publication.pdf
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems, 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, pp.404-409, 2013. ,
DOI : 10.1109/UIC-ATC.2013.33
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals, ICISS, pp.55-70, 2009. ,
DOI : 10.1007/978-3-642-10772-6_6
URL : http://rap.dsi.unifi.it/cows/papers/cows_iciss09.pdf
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing, 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops, pp.89-94, 2013. ,
DOI : 10.1109/SASOW.2013.16
On asynchrony in name-passing calculi, Mathematical Structures in Computer Science, vol.14, issue.5, pp.715-767, 2004. ,
DOI : 10.1017/S0960129504004323
URL : http://www.inria.fr/meije/personnel/Massimo.Merro/on-async.ps.gz
A calculus of mobile processes, II, Information and Computation, vol.100, issue.1, pp.1-40, 1992. ,
DOI : 10.1016/0890-5401(92)90009-5
URL : https://doi.org/10.1016/0890-5401(92)90009-5
Programming Autonomic Systems with Multiple Constraint Stores, Software, Services, and Systems, pp.641-661, 2015. ,
DOI : 10.1145/2209249.2209268
Web Services Business Process Execution Language Version 2.0, OASIS, 2007. ,
A calculus of broadcasting systems, Science of Computer Programming, vol.25, issue.2-3, pp.285-327, 1995. ,
DOI : 10.1016/0167-6423(95)00017-8
URL : https://doi.org/10.1016/0167-6423(95)00017-8
, Global Computing, 2005.
A calculus for orchestration of web services, Journal of Applied Logic, vol.10, issue.1, pp.2-31, 2012. ,
DOI : 10.1016/j.jal.2011.11.002
On Observing Dynamic Prioritised Actions in SOC, ICALP, pp.558-570, 2009. ,
DOI : 10.1007/3-540-44685-0_20
URL : http://eprints.imtlucca.it/405/1/PTY_bis4cows_2009b.pdf
MultiVeStA: statistical model checking for discrete event simulators, ValueTools, pp.310-315, 2013. ,
Modeling and verification of reactive systems using rebeca, Fundamenta Informaticae, vol.63, issue.4, pp.385-410, 2004. ,
A state/event-based model-checking approach for the analysis of abstract system properties, Science of Computer Programming, vol.76, issue.2, pp.119-135, 2011. ,
DOI : 10.1016/j.scico.2010.07.002
, Web services activity. https://www.w3.org, W3C Last Access, 2002.
Rigorous Software Engineering for Service-Oriented Systems -Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, LNCS, vol.6582, 2011. ,
Software Engineering for Collective Autonomic Systems -The ASCENS Approach, LNCS, vol.8998, 2015. ,