A Formal Model of Active Contents Based on the Ambient Calculus. - Tahara, Yasuyuki; Yoshioka, Nobukazu; Honiden, Shinichi (2003)