Congruence proofs for weak bisimulation equivalences on higher?order process calculi, 1995. ,
Evaluating the tradeoffs of mobile code design paradigms in network management applications, Proceedings of the 20th International Conference on Software Engineering, 1998. ,
DOI : 10.1109/ICSE.1998.671111
Reactive Systems, Barbed Semantics, and the Mobile Ambients, FOSSACS '09, pp.272-287, 2009. ,
DOI : 10.1007/978-3-540-71389-0_22
Communication and mobility control in boxed ambients, Information and Computation, vol.202, issue.1, 2005. ,
DOI : 10.1016/j.ic.2005.06.002
More on bisimulations for higher order pi-calculus, FoSSaCS '06, pp.63-78, 2006. ,
A language with distributed scope, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, 1995. ,
DOI : 10.1145/199448.199516
Mobile ambients, FoSSaCS '98, pp.140-155, 1998. ,
Designing distributed applications with mobile code paradigms, Proceedings of the 19th international conference on Software engineering , ICSE '97, 1997. ,
DOI : 10.1145/253228.253236
The Seal Calculus, Information and Computation, vol.201, issue.1, pp.1-54, 2005. ,
DOI : 10.1016/j.ic.2004.11.005
URL : https://hal.archives-ouvertes.fr/hal-00152521
A congruence rule format for name-passing process calculi, Information and Computation, vol.207, issue.2, pp.209-236, 2009. ,
DOI : 10.1016/j.ic.2007.12.005
JoCaml: A Language for Concurrent Distributed and Mobile Programming, Summer Schol Adv. Functional Programming, 2003. ,
DOI : 10.1007/978-3-540-44833-4_5
Understanding code mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, 1998. ,
DOI : 10.1109/32.685258
Extending Howe???s Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names, FSTTCS '05, pp.140-151, 2005. ,
DOI : 10.1007/11590156_11
Bisimilarity as a theory of functional programming, Minicourse . Notes Series NS-95-3, 1995. ,
Safedpi: a language for controlling mobile code, Acta Inf, vol.42, pp.4-5, 2005. ,
Bisimulation congruences for Homer ? a calculus of higher order mobile embedded resources, 2004. ,
Proving Congruence of Bisimulation in Functional Programming Languages, Information and Computation, vol.124, issue.2, pp.103-112, 1996. ,
DOI : 10.1006/inco.1996.0008
A theory of bisimulation for a fragment of Concurrent ML with local names, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332), pp.1-48, 2004. ,
DOI : 10.1109/LICS.2000.855780
Contextual equivalence for higher-order picalculus revisited, Logical Methods in Computer Science, vol.1, issue.1, 2005. ,
On the expressiveness and decidability of higher-order process calculi, LICS, pp.145-155, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00494584
Bisimulations dans les calculs avec passivation, 2010. ,
URL : https://hal.archives-ouvertes.fr/tel-00447857
Howe's method for early bisimilarities, 2008. ,
Normal bisimulations in process calculi with passivation, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00330565
Howe???s Method for Calculi with Passivation, CONCUR '09, pp.448-462 ,
DOI : 10.1007/BF01200262
Normal bisimulations in process calculi with passivation, FoSSaCS '09, pp.257-271, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00330565
Some results in the join-calculus, Lecture Notes in Computer Science, vol.1281, p.233, 1997. ,
DOI : 10.1007/BFb0014554
Towards a theory of bisimulation for the higher-order process calculi, Journal of Computer Science and Technology, vol.131, issue.2, pp.352-363, 2004. ,
DOI : 10.1007/BF02944905
Behavioral theory for mobile ambients, Journal of the ACM, vol.52, issue.6, pp.961-1023, 2005. ,
DOI : 10.1145/1101821.1101825
Communicating and Mobile Systems : the ?-calculus, 1999. ,
Techniques of weak bisimulation up-to, CONCUR '92, 1992. ,
Sos for higher order processes (extended abstract), CONCUR'05, pp.308-322, 2005. ,
Sound Bisimulations for Higher-Order Distributed Process Calculus, Lecture Notes in Computer Science, vol.6604, issue.11, pp.123-137, 2011. ,
DOI : 10.1007/978-3-642-19805-2_9
Deconstructing behavioural theories of mobility, IFIP TCS '08, pp.507-520, 2008. ,
DOI : 10.1007/978-0-387-09680-3_34
Deriving structural labelled transitions for mobile ambients, CONCUR '08, pp.462-476, 2008. ,
Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms, 1992. ,
Bisimulation for higher-order process calculi. Information and Computation, pp.141-178, 1996. ,
URL : https://hal.archives-ouvertes.fr/inria-00074170
Environmental bisimulations for higher-order languages, LICS '07, pp.293-302, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-01337665
The Pi-Calculus: A Theory of Mobile Processes, 2001. ,
The M-calculus: A higher-order distributed process calculus, POPL'03, pp.50-61, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00072227
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing 2004 workshop, 2004. ,
DOI : 10.1007/3-540-45694-5_19
Acute: High-level programming language design for distributed computation, Journal of Functional Programming, vol.17, pp.4-5, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00070671
Plain CHOCS A second generation calculus for higher order processes, Acta Informatica, vol.5, issue.2, pp.1-59, 1993. ,
DOI : 10.1007/BF01200262