Semantics and Logic of Higher-Order Processes: Characterizing Late Context Bisimulation, 1998. ,
Congruence proofs for weak bisimulation equivalences on higher?order process calculi, 1995. ,
Communication and mobility control in boxed ambients, Information and Computation, vol.202, issue.1, 2005. ,
DOI : 10.1016/j.ic.2005.06.002
Mobile ambients, FoSSaCS '98, pp.140-155, 1998. ,
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity, FSTTCS '02, pp.85-96, 2002. ,
DOI : 10.1007/3-540-36206-1_9
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
Extending howe's method to early bisimulations for typed mobile embedded resources with local names, FSTTCS '05, pp.140-151, 2005. ,
Bisimilarity as a theory of functional programming. Minicourse . Notes Series NS-95-3, 1995. ,
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
Normal bisimulations in process calculi with passivation, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00330565
Behavioral theory for mobile ambients, Journal of the ACM, vol.52, issue.6, pp.961-1023, 2005. ,
DOI : 10.1145/1101821.1101825
Sos for higher order processes (extended abstract), CONCUR'05, pp.308-322, 2005. ,
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
The Pi-Calculus: A Theory of Mobile Processes, 2001. ,
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing 2004 workshop, 2004. ,
DOI : 10.1007/3-540-45694-5_19
Plain CHOCS A second generation calculus for higher order processes, Acta Informatica, vol.5, issue.2, pp.1-59, 1993. ,
DOI : 10.1007/BF01200262
Seal: A framework for secure mobile computations INRIA INRIA Centre de recherche INRIA Grenoble ? Rhône-Alpes 655, ICCL'98: Workshop on Internet Programming Languages, pp.47-77, 1999. ,