New collection of links to Mobile Ambient research

• To: types@cis.upenn.edu
• Subject: New collection of links to Mobile Ambient research
• From: Xudong Guan <guan-xd@cs.sjtu.edu.cn>
• Date: Wed, 5 Jul 2000 09:33:39 +0800
• Organization: Distributed Computing Technology Center, Shanghai Jiaotong Univ.
• Reply-To: Xudong Guan <guan-xd@cs.sjtu.edu.cn>

I have recently collected some papers, researchers, and resources on
Cardelli and Gordon's Mobile Ambient Calculus.  Among those papers
there are many concerning interesting type systems and subtyping on
MA.  

   http://go.163.com/~mobileambient/

If anyone finds their work missing, I am very glad to be informed and
will update the page ASAP.

Best regards,

Xudong

-----------------------------------------------------------------------
Xudong Guan                     Distributed Computing Technology Center
Email: guan-xd@cs.sjtu.edu.cn          Room 1105, Haoran Hitech Mansion
Tel:   +86-21-52581638 ext.17                   Shanghai Jiaotong Univ.
Visit my mobile ambient page at:                Shanghai, China, 200030
http://go.163.com/~mobileambient/
------------------------------------------------------------------------

• Prev: FMOODS 2000 Call for Participation, Demos, and Posters
• Next: LICS 2001 Preliminary Call for Papers
• Index(es):
  • Main
  • Thread