Interface automata, Proceeding of the join 8th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the foundations of Software Engineering (ESEC/FSE 01), 2001. ,
A brief history of process algebra, Theoretical Computer Science, vol.335, issue.2-3 ,
DOI : 10.1016/j.tcs.2004.07.036
A dynamic reconfiguration service for CORBA, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), p.35, 1998. ,
DOI : 10.1109/CDS.1998.675756
Introduction to the iso specification language lotos. Formal Description Technique LOTOS, pp.23-73 ,
Service oriented computing from a process algebraic perspective, The Journal of Logic and Algebraic Programming, vol.70, issue.1, 2006. ,
DOI : 10.1016/j.jlap.2006.05.002
Mobile ambient, 2003. ,
An i/o automata based approach to verify component compatibility :application to the cycabcar, 2008. ,
Adaptation des protocoles des composants par les automates interfaces, 2010. ,
A fault-tolerant architectural approach for dependable systems, IEEE Software, vol.23, issue.2, pp.80-87, 2006. ,
DOI : 10.1109/MS.2006.35
Service Substitution Revisited, 2009 IEEE/ACM International Conference on Automated Software Engineering, 2009. ,
DOI : 10.1109/ASE.2009.58
URL : https://hal.archives-ouvertes.fr/inria-00459358
Dynamic Service Substitution in Service-Oriented Architectures, 2008 IEEE Congress on Services, Part I, pp.101-104, 2008. ,
DOI : 10.1109/SERVICES-1.2008.52
Service Coroner: A Diagnostic Tool for Locating OSGi Stale References, 2008 34th Euromicro Conference Software Engineering and Advanced Applications, pp.108-115, 2008. ,
DOI : 10.1109/SEAA.2008.32
Describing and reasoning on web services using process algebra ,
Towards reliable osgi operating framework and applications, JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, vol.23, pp.1379-1390, 2007. ,
Transactional memory, ACM SIGARCH Computer Architecture News, vol.21, issue.2, pp.289-30050, 1993. ,
DOI : 10.1145/173682.165164
The spin model checker, IEE TRANSACTION ON SOFTWARE ENGINEERING, 1997. ,
Algèbres de Processus Réversibles et Programmation Concurrente Déclarative, 2006. ,
An introduction to input output automata, 1988. ,
Temporal verification of reactive systems, 1995. ,
DOI : 10.1007/978-1-4612-4222-2
Synthesis of Web Services Orchestrators in a Timed Setting, pp.124-138, 2008. ,
DOI : 10.1007/978-3-540-79230-7_9
Communication and concurrency, Internationel Series on Computer Science, 1989. ,
The polyadic pi-calculus : a tutorial The King's Building, Laboratory for Foundations of Computer Science, 1991. ,
A calculus of mobile processes, i ,
Semi-automated adaptation of service interactions, Proceedings of the 16th international conference on World Wide Web, pp.993-1002, 2007. ,
Tool Support for Visualizing CSP in UML, Proc. of ICFEM 02, pp.287-298, 2002. ,
DOI : 10.1007/3-540-36103-0_31
The concurrency workbench of the new century (version 1, 2000. ,
Timed scp : Theory and practice, Proc. of REX Workshop on Real-Time. Theory in Practice, pp.640-675, 1992. ,
Describing and reasonning on web services using process algebra ,
Specification : Business process language execution for web services ,
Towards an approach for web services substitution, Database Engineering and Applications Symposium, 2006. IDEAS '06. 10th International, pp.166-17350, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00953901
Programmation par composant avec la technologie osgi (1ère partie), 2008. ,
une architecture à base de composants pour la gestion de la qualité de service dans les systèmes embarqués mobiles ,
Verification of workflow nets, Proceedings of the 18th International Conference on Application and Theory of Petri Nets, pp.407-426, 1997. ,
A behavior consistent service discovery and substitution mechanism in osgi, IASTED/ACTA, vol.50, p.50, 2005. ,