Mobile Ambients – process calculus for mobile computation (1998) [pdf] (opens in new tab)

(lucacardelli.name)

3 pointshaadcode6y ago3 comments

3 comments

3 comments · 2 top-level

markhenderson6y ago· 1 in thread

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.

haadcodeOP6y 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.

haadcodeOP6y ago

tldr version: https://en.m.wikipedia.org/wiki/Ambient_calculus

j / k navigate · click thread line to collapse