Hacker News new | ask | show | jobs
Mobile Ambients – process calculus for mobile computation (1998) [pdf] (lucacardelli.name)
3 points by haadcode 2506 days ago
2 comments
markhenderson 2506 days ago
It's still so interesting to me that this never caught on, particularly in the "distributed age." This feels like a hidden gem in the research that has been covered up by the sands of time.
link
haadcode 2506 days ago
Absolutely! I don't know the exact history and why it hasn't been applied much, and I'd be very curious to learn, but it's definitely a gem.
link
haadcode 2506 days ago
tldr version: https://en.m.wikipedia.org/wiki/Ambient_calculus
link