Typing and Subtyping Mobility in Boxed Ambients*

CONCUR 2002 — Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-45694-5_21 ◽

2002 ◽

pp. 304-320 ◽

Author(s):

Massimo Merro ◽

Vladimiro Sassone

Download Full-text