Formalisms for mobile resource control
暂无分享,去创建一个
[1] Giuseppe Castagna,et al. The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity , 2002, FSTTCS.
[2] Luca Cardelli,et al. Mobile Ambients , 1998, FoSSaCS.
[3] Michele Bugliesi,et al. Boxed Ambients , 2001, TACS.
[4] Jean-Jacques Lévy,et al. A Calculus of Mobile Agents , 1996, CONCUR.
[5] J. Stefani. A Calculus of Higher-Order Distributed Components , 2003 .
[6] David Teller,et al. Using Ambients to Control Resources , 2002, CONCUR.
[7] Jan Vitek,et al. Seal: A Framework for Secure Mobile Computations , 1998, ICCL Workshop: Internet Programming Languages.
[8] Matthew Hennessy. A Typed Language for Distributed Mobile Processes , 1998 .
[9] Witold Charatonik,et al. Finite-Control Mobile Ambients , 2002, ESOP.
[10] Alan Schmitt,et al. The m-calculus: a higher-order distributed process calculus , 2003, POPL '03.
[11] Michele Bugliesi,et al. Capacity bounded computational ambients , 2003 .
[12] Jean-Jacques Lévy,et al. An Asynchronous, Distributed Implementation of Mobile Ambients , 2000, IFIP TCS.
[13] Gian Luigi Ferrari,et al. Guardians for Ambient-based Monitoring , 2002, Electron. Notes Theor. Comput. Sci..
[14] Davide Sangiorgi,et al. The Pi-Calculus - a theory of mobile processes , 2001 .
[15] Michele Bugliesi,et al. Communication Interference in Mobile Boxed Ambients , 2002, FSTTCS.
[16] Roberto M. Amadio,et al. Max-Plus Quasi-interpretations , 2003, TLCA.