ASPfun : A typed functional active object calculus

  title={ASPfun : A typed functional active object calculus},
  author={Ludovic Henrio and Florian Kamm{\"u}ller and Bianca Lutz},
  journal={Sci. Comput. Program.},
This paper provides a sound foundation for autonomous objects communicating by remote method invocations and futures. As a distributed extension of ς-calculus we define ASPfun, a calculus of functional objects, behaving autonomously and communicating by a request-reply mechanism: requests are method calls handled asynchronously and futures represent awaited results for requests. This results in an object language enabling a concise representation of a set of active objects interacting by… CONTINUE READING
This paper has been referenced on Twitter 1 time. VIEW TWEETS

Similar Papers

Loading similar papers…