Sort by: Order: Results:

Now showing items 1-1 of 1

  • Adding Recursion to Dpi. (Extended Abstract) 

    HENNESSY, MATTHEW (Electronic Notes in Theoretical Computer Science, 2006)
    Dpi is a distributed version of the pi-calculus, in which processes are explicitly located, and a migration construct may be used for moving between locations. We argue that adding a recursion operator to the language ...