Ambient calculus is a formal calculus introduced by Luca Cardelli and Andrew D. Gordon in the late 1990s. It is a theoretical framework used to model mobile computations, particularly in distributed systems where the location of computational entities can change over time. The key idea behind ambient calculus is the concept of "ambients," which can be thought of as locations or environments that can contain other ambients or computational processes.
Articles by others on the same topic
There are currently no matching articles.