Mobile values, new names, and secure communication, Proc. of POPL, pp.104-115, 2001. ,
DOI : 10.1145/360204.360213
URL : https://hal.archives-ouvertes.fr/hal-01423924
A calculus for cryptographic protocols, Proceedings of the 4th ACM conference on Computer and communications security , CCS '97, pp.1-70, 1999. ,
DOI : 10.1145/266420.266432
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
Psi-calculi: a framework for mobile processes with nominal data and logic, Logical Methods in Computer Science, vol.7, issue.1, 2011. ,
DOI : 10.2168/LMCS-7(1:11)2011
Proof Techniques for Cryptographic Processes, SIAM Journal on Computing, vol.31, issue.3, pp.947-986, 2001. ,
DOI : 10.1137/S0097539700377864
URL : http://basics.sjtu.edu.cn/~yuehg/lics/proof techniques for cryptographic processes 1999.pdf
Open bisimulation for the concurrent constraint picalculus, Proc. of ESOP, pp.254-268, 2008. ,
A process algebraic view of Linda coordination primitives, Theoretical Computer Science, vol.192, issue.2, pp.167-199, 1998. ,
DOI : 10.1016/S0304-3975(97)00149-7
On the expressive power of polyadic synchronisation in picalculus, Nordic Journal on Computing, vol.10, issue.2, pp.70-98, 2003. ,
Patterns and types for querying xml documents, 10th Inter.Symp.on Database Programming Languages, pp.1-26, 2005. ,
DOI : 10.1007/11547273_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.3642
Towards a calculus for generative communication, Proc. of FMOODS, pp.283-297, 1996. ,
DOI : 10.1007/978-0-387-35082-0_21
Asynchronous communication in process algebra, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.137-147, 1992. ,
DOI : 10.1109/LICS.1992.185528
Basic observables for a calculus for global computing, Information and Computation, vol.205, issue.10, pp.1491-1525, 2007. ,
DOI : 10.1016/j.ic.2007.03.004
A process algebra based on linda, Proc. of COORDINA- TION, pp.160-178, 1996. ,
DOI : 10.1007/3-540-61052-9_45
The reflexive CHAM and the join-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.372-385, 1996. ,
DOI : 10.1145/237721.237805
Bisimulations in the join-calculus, Theoretical Computer Science, vol.266, issue.1-2, pp.569-603, 2001. ,
DOI : 10.1016/S0304-3975(00)00283-8
Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985. ,
DOI : 10.1145/2363.2433
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.9679
Concurrent pattern calculus in bondi, Young Researchers Workshop on Concurrency Theory, 2010. ,
DOI : 10.1007/978-3-642-15240-5_18
URL : http://arxiv.org/abs/1405.1546
Concurrent pattern unification, 2012. ,
Concurrent pattern calculus (extended version) ,
DOI : 10.1007/978-3-642-15240-5_18
URL : http://arxiv.org/abs/1405.1546
Concurrent pattern calculus, Proc. of IFIP-TCS, pp.244-258, 2010. ,
DOI : 10.1007/978-3-642-15240-5_18
URL : https://hal.archives-ouvertes.fr/hal-01054456
On reduction-based process semantics, Theoretical Computer Science, vol.151, issue.2, pp.437-486, 1995. ,
DOI : 10.1016/0304-3975(95)00074-7
URL : http://doi.org/10.1016/0304-3975(95)00074-7
Regular expression pattern matching for XML, Journal of Functional Programming, vol.13, issue.6, pp.961-1004, 2003. ,
DOI : 10.1017/S0956796802004410
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.178.3491
Abstract, The Journal of Symbolic Logic, vol.2, issue.03, pp.807-826, 2011. ,
DOI : 10.1145/321738.321750
A completeness theorem for Kleene algebras and the algebra of regular events, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.366-390, 1994. ,
DOI : 10.1109/LICS.1991.151646
The Polyadic ??-Calculus: a Tutorial, Logic and Algebra of Specification of Series F. NATO ASI, 1993. ,
DOI : 10.1007/978-3-642-58041-3_6
A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-77, 1992. ,
DOI : 10.1016/0890-5401(92)90008-4
Barbed bisimulation, Proc. of ICALP, pp.685-695, 1992. ,
DOI : 10.1007/3-540-55719-9_114
The fusion calculus: expressiveness and symmetry in mobile processes, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226), pp.176-185, 1998. ,
DOI : 10.1109/LICS.1998.705654
A theory of bisimulation for the ??-calculus, Acta Informatica, vol.XVI, issue.2, pp.69-97, 1996. ,
DOI : 10.1007/s002360050036
Environmental bisimulations for higher-order languages, ACM Trans. Program. Lang. Syst, vol.33, issue.1, p.5, 2011. ,
DOI : 10.1145/1889997.1890002
URL : https://hal.archives-ouvertes.fr/hal-01337665