Search alternatives:
trees » tree
Cover Image
Read Now

1
Published 2004
Springer US
Table of Contents: “... and Local Typing for Mobile Ambients -- Polya:True Type Polymorphism for Mobile Ambients -- Recovering...”
Cover Image
Read Now

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... refinement -- Locality and true-concurrency in calculi for mobile processes -- Term rewriting properties...”