haadcode

↗ HN profile [ 161 ms ] full profile

Karma: 46
Created: October 17, 2016 (9y ago)
Submissions: 0

Mobile Ambients – process calculus for mobile computation (1998) [pdf] (lucacardelli.name)

3 points 6y ago 3